correct-udebug-flag-name-20010403

-server takes one server arg, so fix its name to be -server and not -servers

diff --git a/src/ubik/udebug.c b/src/ubik/udebug.c
index 2586248..7145036 100644 (file)
--- a/src/ubik/udebug.c
+++ b/src/ubik/udebug.c
@@ -318,7 +318,7 @@ main(argc, argv)
     sigaction(SIGSEGV, &nsa, NULL);
 #endif
     ts = cmd_CreateSyntax((char *) 0, CommandProc, 0, "probe ubik server");
-    cmd_AddParm(ts, "-servers", CMD_SINGLE, CMD_REQUIRED, "server machine");
+    cmd_AddParm(ts, "-server", CMD_SINGLE, CMD_REQUIRED, "server machine");
     cmd_AddParm(ts, "-port", CMD_SINGLE, CMD_OPTIONAL, "IP port");
     cmd_AddParm(ts, "-long", CMD_FLAG, CMD_OPTIONAL, "print all info");