1.1 --- a/server/src/fs_filesystem.cc	Thu Apr 30 22:50:36 2020 +0200
     1.2 +++ b/server/src/fs_filesystem.cc	Fri May 01 00:30:17 2020 +0200
     1.3 @@ -58,10 +58,9 @@
     1.4       paging object coordinator so that file data can be shared. */
     1.5  
     1.6    Fs_user_filesystem *filesystem = new Fs_user_filesystem(_paging, _fs, _devname, user);
     1.7 +  ResourceServer server(filesystem);
     1.8 +  long err = server.start_thread();
     1.9  
    1.10 -  ipc_server_config_type *config;
    1.11 -  long err = resource_start(filesystem, 1, &config);
    1.12 -
    1.13 -  *ref = config->server;
    1.14 +  *ref = server.config()->server;
    1.15    return err;
    1.16  }