From db30fc550e608e4160e97dda91448d33c68f62f3 Mon Sep 17 00:00:00 2001 From: Johannes Schlatow Date: Mon, 29 Aug 2016 13:58:25 +0200 Subject: [PATCH] remote_rom: make localname attribute optional --- src/proxy/remote_rom/server/main.cc | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/proxy/remote_rom/server/main.cc b/src/proxy/remote_rom/server/main.cc index 9405ac1..fd43201 100644 --- a/src/proxy/remote_rom/server/main.cc +++ b/src/proxy/remote_rom/server/main.cc @@ -127,7 +127,11 @@ namespace Component { { try { Genode::Xml_node remote_rom = Genode::config()->xml_node().sub_node("remote_rom"); - remote_rom.attribute("localname").value(Remote_rom::modulename, sizeof(Remote_rom::modulename)); + if (remote_rom.has_attribute("localname")) + remote_rom.attribute("localname").value(Remote_rom::modulename, sizeof(Remote_rom::modulename)); + else + remote_rom.attribute("name").value(Remote_rom::modulename, sizeof(Remote_rom::modulename)); + remote_rom.attribute("name").value(Remote_rom::remotename, sizeof(Remote_rom::remotename)); try { remote_rom.attribute("binary").value(&Remote_rom::binary);