diff options
author | Rico Tzschichholz <ricotz@ubuntu.com> | 2013-06-01 13:56:43 +0200 |
---|---|---|
committer | Rico Tzschichholz <ricotz@ubuntu.com> | 2013-06-01 13:56:43 +0200 |
commit | 6d932f4bdaa54710bd34af08284bc55f36fb7346 (patch) | |
tree | e0b9d7bcfd0601ef864da3620deade1055d40b79 /examples | |
parent | 793a5ae0b1ede28a3b011ba3f25c6778bd6b646a (diff) | |
download | zeitgeist-6d932f4bdaa54710bd34af08284bc55f36fb7346.tar.gz |
Fix managing and tracking registered Monitors
Reset ids of known monitors in on_connection_lost to have reinstall_montior
working properly. Remove monitors from internal hashtable when needed.
Diffstat (limited to 'examples')
-rw-r--r-- | examples/vala/monitor-events.vala | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/examples/vala/monitor-events.vala b/examples/vala/monitor-events.vala index ed6feab4..a1e1dd1d 100644 --- a/examples/vala/monitor-events.vala +++ b/examples/vala/monitor-events.vala @@ -26,6 +26,11 @@ int main () //monitor.events_deleted.connect (on_events_deleted); log.install_monitor (monitor); + Timeout.add (2000, () => + { + log.remove_monitor (monitor); + return false; + }); loop.run (); return 0; |