1
0
mirror of https://github.com/codership/wsrep-lib.git synced 2025-07-28 20:02:00 +03:00

Added debug_crash() method to high priority service interface.

This commit is contained in:
Teemu Ollakka
2018-07-16 12:45:53 +03:00
parent 4418627f1b
commit 0efec1b8bd
4 changed files with 24 additions and 5 deletions

View File

@ -37,9 +37,10 @@ namespace db
void switch_execution_context(wsrep::high_priority_service&) override
{ }
int log_dummy_write_set(const wsrep::ws_handle&,
const wsrep::ws_meta&)
const wsrep::ws_meta&) override
{ return 0; }
bool is_replaying() const;
bool is_replaying() const override;
void debug_crash(const char*) override { }
private:
high_priority_service(const high_priority_service&);
high_priority_service& operator=(const high_priority_service&);