diff options
| author | Joel Klinghed <the_jk@yahoo.com> | 2017-09-26 21:58:23 +0200 |
|---|---|---|
| committer | Joel Klinghed <the_jk@yahoo.com> | 2017-09-26 21:58:23 +0200 |
| commit | 811e04305457108bc32d8895fd9bd274715d02fc (patch) | |
| tree | 4bf4e89448ce3be4858404a7ea81c166ab2b8d37 /src/monitor.hh | |
| parent | 37e7c66d65e00b9543003aba1f0f9b13a8dc151b (diff) | |
Use a modification safe observers list
Diffstat (limited to 'src/monitor.hh')
| -rw-r--r-- | src/monitor.hh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/monitor.hh b/src/monitor.hh index 99e172b..b7ddbea 100644 --- a/src/monitor.hh +++ b/src/monitor.hh @@ -52,6 +52,7 @@ public: virtual Machine machine(uint32_t id) const = 0; virtual void add_observer(Observer* observer) = 0; + virtual void remove_observer(Observer* observer) = 0; protected: Monitor() {} |