mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-31 08:25:38 +00:00
parent
23ad546a88
commit
552bb13f99
@ -83,7 +83,7 @@ void Rom_logger::Main::_handle_update()
|
||||
* If ROM name changed, reconstruct '_rom_ds'
|
||||
*/
|
||||
if (rom_name != _rom_name) {
|
||||
_rom_ds.construct(rom_name.string());
|
||||
_rom_ds.construct(_env, rom_name.string());
|
||||
_rom_ds->sigh(_update_handler);
|
||||
_rom_name = rom_name;
|
||||
}
|
||||
|
Loading…
x
Reference in New Issue
Block a user