1.1 --- a/server/src/main.cc Sat Jun 29 00:32:41 2019 +0200
1.2 +++ b/server/src/main.cc Sat Jun 29 00:32:57 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/server.h>
1.8 #include "fspath.h"
1.9
1.10
1.11 @@ -250,7 +249,7 @@
1.12 {
1.13 FILE *fp;
1.14 char buffer[256], *sep;
1.15 - l4_cap_idx_t fscap, server;
1.16 + l4_cap_idx_t fscap;
1.17
1.18 if (argc < 2)
1.19 {
1.20 @@ -262,7 +261,7 @@
1.21
1.22 Vfs_server server_obj;
1.23
1.24 - if (ipc_server_bind("export", l4_umword_t(&server_obj), &server))
1.25 + if (server_bind("export", &server_obj))
1.26 {
1.27 printf("Could not bind thread.\n");
1.28 return 1;