mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-08 20:05:54 +00:00
parent
a2e29c0226
commit
21d9854a81
@ -1650,6 +1650,7 @@ void Sculpt::Main::_handle_runtime_state()
|
||||
|
||||
bool reconfigure_runtime = false;
|
||||
bool regenerate_dialog = false;
|
||||
bool refresh_storage = false;
|
||||
|
||||
/* check for completed storage operations */
|
||||
_storage._storage_devices.for_each([&] (Storage_device &device) {
|
||||
@ -1713,6 +1714,7 @@ void Sculpt::Main::_handle_runtime_state()
|
||||
error(device.part_block_start_name(), " got stuck");
|
||||
device.state = Storage_device::RELEASED;
|
||||
reconfigure_runtime = true;
|
||||
refresh_storage = true;
|
||||
}
|
||||
}
|
||||
|
||||
@ -1811,6 +1813,9 @@ void Sculpt::Main::_handle_runtime_state()
|
||||
regenerate_dialog = true;
|
||||
}
|
||||
|
||||
if (refresh_storage)
|
||||
_storage.handle_storage_devices_update();
|
||||
|
||||
if (regenerate_dialog) {
|
||||
generate_dialog();
|
||||
_graph_menu_view.generate();
|
||||
|
Loading…
x
Reference in New Issue
Block a user