# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1618698258 -7200
# Node ID febfa7a229b36bcce95d6af1a601af111a3368ce
# Parent  9471aa12e82c61547de4dd989052556f2694cdc0
Permit overriding of the server capability name.

diff -r 9471aa12e82c -r febfa7a229b3 servers/block_file_server.cc
--- a/servers/block_file_server.cc	Sat Apr 17 18:10:23 2021 +0200
+++ b/servers/block_file_server.cc	Sun Apr 18 00:24:18 2021 +0200
@@ -70,8 +70,10 @@
 
   /* Register a server associating it with the given object. */
 
+  const char *server_name = (argc > 2) ? argv[2] : "server";
+
   ResourceServer server(&opener);
-  err = server.bind("server");
+  err = server.bind(server_name);
 
   if (err)
   {
diff -r 9471aa12e82c -r febfa7a229b3 servers/host_file_server.cc
--- a/servers/host_file_server.cc	Sat Apr 17 18:10:23 2021 +0200
+++ b/servers/host_file_server.cc	Sun Apr 18 00:24:18 2021 +0200
@@ -70,8 +70,10 @@
 
   /* Register a server associating it with the given object. */
 
+  const char *server_name = (argc > 2) ? argv[2] : "server";
+
   ResourceServer server(&opener);
-  err = server.bind("server");
+  err = server.bind(server_name);
 
   if (err)
   {
diff -r 9471aa12e82c -r febfa7a229b3 servers/pipe_server.cc
--- a/servers/pipe_server.cc	Sat Apr 17 18:10:23 2021 +0200
+++ b/servers/pipe_server.cc	Sun Apr 18 00:24:18 2021 +0200
@@ -66,8 +66,10 @@
 
   /* Register a server associating it with the given object. */
 
+  const char *server_name = (argc > 2) ? argv[2] : "server";
+
   ResourceServer server(&opener);
-  err = server.bind("server");
+  err = server.bind(server_name);
 
   if (err)
   {
diff -r 9471aa12e82c -r febfa7a229b3 servers/test_file_server.cc
--- a/servers/test_file_server.cc	Sat Apr 17 18:10:23 2021 +0200
+++ b/servers/test_file_server.cc	Sun Apr 18 00:24:18 2021 +0200
@@ -69,8 +69,10 @@
 
   /* Register a server associating it with the given object. */
 
+  const char *server_name = (argc > 2) ? argv[2] : "server";
+
   ResourceServer server(&opener);
-  err = server.bind("server");
+  err = server.bind(server_name);
 
   if (err)
   {