mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-22 01:53:00 +00:00
parent
46fc41ba50
commit
66fedecf34
@ -452,10 +452,12 @@ class Lima::Call
|
||||
Buffer_id const id { .value = handle };
|
||||
|
||||
bool found = false;
|
||||
_buffer_space.apply<Buffer>(id, [&] (Buffer &b) {
|
||||
fn(b);
|
||||
found = true;
|
||||
});
|
||||
try {
|
||||
_buffer_space.apply<Buffer>(id, [&] (Buffer &b) {
|
||||
fn(b);
|
||||
found = true;
|
||||
});
|
||||
} catch (Genode::Id_space<Buffer>::Unknown_id) { }
|
||||
|
||||
return found;
|
||||
}
|
||||
|
Loading…
x
Reference in New Issue
Block a user