diff options
| author | Joel Klinghed <the_jk@spawned.biz> | 2018-03-19 00:16:25 +0100 |
|---|---|---|
| committer | Joel Klinghed <the_jk@spawned.biz> | 2018-03-19 00:16:25 +0100 |
| commit | 5a2fe9e2f226db509315c8e4290e9794a0ce0557 (patch) | |
| tree | 0db07881c59560d7bc7ba5a3f0b30ac16368c9d6 /src/monitor.cc | |
| parent | 66537685abb429be69ea2f82db6eca0c79e0f218 (diff) | |
Expand fake monitor to make testing removing machines easier
Diffstat (limited to 'src/monitor.cc')
| -rw-r--r-- | src/monitor.cc | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/monitor.cc b/src/monitor.cc index c665034..b9c6085 100644 --- a/src/monitor.cc +++ b/src/monitor.cc @@ -81,6 +81,12 @@ public: observers_.remove(observer); } +#if FAKE_MONITOR + void toggle_fakes() override { + assert(false); + } +#endif + private: static Machine const EMPTY; |