1.1 --- a/server/src/main.cc Thu Jun 27 16:48:48 2019 +0200
1.2 +++ b/server/src/main.cc Thu Jun 27 17:14:52 2019 +0200
1.3 @@ -37,7 +37,6 @@
1.4 #include <fsclient/fsdesc.h>
1.5 #include <fsclient/fs_ipc.h>
1.6 #include <fsserver/server.h>
1.7 -#include <ipc/util_ipc.h>
1.8 #include <ipc/server.h>
1.9 #include "fspath.h"
1.10
1.11 @@ -144,7 +143,7 @@
1.12
1.13 /* Free the capability and buffer from this task. */
1.14
1.15 - discard_dataspace(ds, (l4_addr_t) buffer);
1.16 + ipc_message_discard_dataspace(msg, ds, (l4_addr_t) buffer);
1.17
1.18 /* Return the file size. */
1.19
1.20 @@ -190,7 +189,7 @@
1.21
1.22 /* Free the capability and buffer from this task. */
1.23
1.24 - discard_dataspace(ds, (l4_addr_t) buffer);
1.25 + ipc_message_discard_dataspace(msg, ds, (l4_addr_t) buffer);
1.26 }
1.27
1.28 /* Non-exported methods. */