# HG changeset patch # User Paul Boddie # Date 1588279866 -7200 # Node ID c7660ed91a92341821fd20cf480fb9be3e472254 # Parent 979295a97cf9280d7ae182d26022707de7fc36b3 Employ the general ResourceServer class for the main server. diff -r 979295a97cf9 -r c7660ed91a92 server/src/main.cc --- a/server/src/main.cc Fri Apr 17 23:07:19 2020 +0200 +++ b/server/src/main.cc Thu Apr 30 22:51:06 2020 +0200 @@ -35,7 +35,7 @@ /* Exposure of the resource. */ -#include +#include /* Implemented interfaces. */ @@ -293,7 +293,7 @@ /* Initialise and register a new server object. */ Vfs_resource resource; - UserFilesystemServer server(&resource); + ResourceServer server(&resource); if (server.bind("export")) {