1.1 --- a/server/src/main.cc Sun Jun 30 00:43:24 2019 +0200
1.2 +++ b/server/src/main.cc Mon Jul 22 17:36:37 2019 +0200
1.3 @@ -115,7 +115,15 @@
1.4
1.5 /* Match the path to a mountpoint. */
1.6
1.7 - MountTableIterator entry = find_mountpoint(desc.obj.buffer);
1.8 + char *path = fsdesc_get_name(&desc.obj);
1.9 +
1.10 + if (path == NULL)
1.11 + {
1.12 + ipc_message_send_error(msg, -L4_EINVAL);
1.13 + return;
1.14 + }
1.15 +
1.16 + MountTableIterator entry = find_mountpoint(path);
1.17
1.18 if (entry == _servers.end())
1.19 {
1.20 @@ -125,7 +133,7 @@
1.21
1.22 /* Rewrite the path for the selected filesystem. */
1.23
1.24 - rewrite_path(desc.obj.buffer, entry->first);
1.25 + rewrite_path(path, entry->first);
1.26
1.27 /* Find the path within the selected filesystem. */
1.28