ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fix for single file VFS servers 

The VFS server does not support file-system with one single-file plugin
providing the root. This is because the "leaf_path" is not universally
implemented to handle the path "/". This fix is simply to skip a
"leaf_path" check when opening the path "/".

Ref #2919
This commit is contained in:
Ehmry - 2018-07-16 17:04:44 +02:00 committed by Christian Helmuth
parent 9221f7916a
commit 8a9b18e40e
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/os/src/server/vfs/main.cc
View File

@ -554,7 +554,7 @@ class Vfs_server::Session_component : public File_system::Session_rpc_object,
/* re-root the path */
Path sub_path(path_str+1, _root_path.base());
path_str = sub_path.base();
if (!_vfs.leaf_path(path_str))
if (sub_path != "/" && !_vfs.leaf_path(path_str))
throw Lookup_failed();
Node *node;