From 4b4760ce8e559787af125742276d5db3cdb1555d Mon Sep 17 00:00:00 2001 From: Boris Mulder Date: Mon, 26 Feb 2018 11:52:49 +0100 Subject: [PATCH] rom_filter: initially try to parse input ROM Issue #2691 --- repos/os/src/server/rom_filter/input_rom_registry.h | 2 ++ 1 file changed, 2 insertions(+) diff --git a/repos/os/src/server/rom_filter/input_rom_registry.h b/repos/os/src/server/rom_filter/input_rom_registry.h index b6efcd7549..a3c89832f3 100644 --- a/repos/os/src/server/rom_filter/input_rom_registry.h +++ b/repos/os/src/server/rom_filter/input_rom_registry.h @@ -157,6 +157,8 @@ class Rom_filter::Input_rom_registry _input_rom_changed_fn(input_rom_changed_fn) { _rom_ds.sigh(_rom_changed_handler); + try { _top_level = _rom_ds.xml(); } + catch (...) {} } Input_rom_name name() const { return _name; }