mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-23 23:42:32 +00:00
parent
1d92631ef0
commit
44cfc414ee
@ -82,6 +82,7 @@ namespace File_system {
|
||||
switch (r) {
|
||||
case Result::UNLINK_ERR_NO_ENTRY: throw Lookup_failed();
|
||||
case Result::UNLINK_ERR_NO_PERM: throw Permission_denied();
|
||||
case Result::UNLINK_ERR_NOT_EMPTY: throw Not_empty();
|
||||
case Result::UNLINK_OK: break;
|
||||
}
|
||||
}
|
||||
|
Loading…
Reference in New Issue
Block a user