ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-12 05:41:36 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

sculpt: handle removal of "used" storage target

Browse Source
This commit is contained in:
Norman Feske 2018-06-11 14:22:40 +02:00 committed by Christian Helmuth
parent 0d9efd04a8
commit 347d82bdc6
1 changed files with 19 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
repos/gems/src/app/sculpt_manager/storage.cc
View File

@ -60,6 +60,25 @@ void Sculpt::Storage::handle_storage_devices_update()
use(default_target);
}
/*
* Detect the removal of a USB stick that is currently in "use". Reset
* the '_sculpt_partition' to enable the selection of another storage
* target to use.
*/
if (_sculpt_partition.valid()) {
bool sculpt_partition_exists = false;
_storage_devices.for_each([&] (Storage_device const &device) {
device.for_each_partition([&] (Partition const &partition) {
if (device.label == _sculpt_partition.device
&& partition.number == _sculpt_partition.partition)
sculpt_partition_exists = true; }); });
if (!sculpt_partition_exists) {
warning("sculpt partition unexpectedly vanished");
_sculpt_partition = Storage_target { };
}
}
_dialog_generator.generate_dialog();
if (reconfigure_runtime)