1.1 --- a/servers/process_server.cc Tue Mar 07 16:44:43 2023 +0100
1.2 +++ b/servers/process_server.cc Tue Mar 07 19:10:40 2023 +0100
1.3 @@ -28,6 +28,7 @@
1.4
1.5 #include <exec/process_creator_resource.h>
1.6 #include <fsserver/resource_server.h>
1.7 +#include <systypes/env.h>
1.8
1.9
1.10
1.11 @@ -42,7 +43,7 @@
1.12 }
1.13
1.14 char *rm_filename = argv[1];
1.15 - const char *server_name = (argc > 2) ? argv[2] : "pserver";
1.16 + const char *server_name = (argc > 2) ? argv[2] : ENV_PROCESS_SERVER_NAME;
1.17 long err;
1.18
1.19 /* Introduce concurrency control. */