mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
committed by
Christian Helmuth
parent
fd533b0c93
commit
6426d4098c
@@ -343,9 +343,10 @@ class File_system::Session_component : public Session_rpc_object
|
||||
|
||||
switch (errno) {
|
||||
case ENOTEMPTY: throw Node_already_exists();
|
||||
case ENOENT: throw Lookup_failed();
|
||||
}
|
||||
|
||||
PWRN("renameat produced unhandled error");
|
||||
PWRN("renameat produced unhandled error %x %s %s", errno, from_str, to_str);
|
||||
throw Permission_denied();
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user