alex/genode-world
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

remote_rom: make localname attribute optional

Browse Source
This commit is contained in:
Johannes Schlatow
2016-08-29 13:58:25 +02:00
committed by Norman Feske
parent 4492597403
commit db30fc550e
1 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/proxy/remote_rom/server/main.cc
View File

@@ -127,7 +127,11 @@ namespace Component {
{ {
try { try {
Genode::Xml_node remote_rom = Genode::config()->xml_node().sub_node("remote_rom"); 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)); remote_rom.attribute("name").value(Remote_rom::remotename, sizeof(Remote_rom::remotename));
try { try {
remote_rom.attribute("binary").value(&Remote_rom::binary); remote_rom.attribute("binary").value(&Remote_rom::binary);