ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

nitpicker: disable reports by default 

Prior this change, a config update would not disable reports if the
report node disappeared during the update.
This commit is contained in:
Norman Feske 2014-09-26 13:53:00 +02:00
parent 83705d3c78
commit a00f9bcf99
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
repos/os/src/server/nitpicker/main.cc
View File

@ -1302,13 +1302,17 @@ void Nitpicker::Main::handle_config(unsigned)
pointer_reporter.enabled(config()->xml_node().sub_node("report")
.attribute("pointer")
.has_value("yes"));
} catch (...) { }
} catch (...) {
pointer_reporter.enabled(false);
}
try {
focus_reporter.enabled(config()->xml_node().sub_node("report")
.attribute("focus")
.has_value("yes"));
} catch (...) { }
} catch (...) {
focus_reporter.enabled(false);
}
/* update domain registry and session policies */
for (::Session *s = session_list.first(); s; s = s->next())