From 7b184af255893e8d685592885f1ba36dfae61bbf Mon Sep 17 00:00:00 2001 From: Nathan Neulinger Date: Mon, 23 Apr 2001 07:49:48 +0000 Subject: [PATCH] STABLE10-correct-udebug-flag-name-20010423 -server takes one server arg, so fix its name to be -server and not -servers --- src/ubik/udebug.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ubik/udebug.c b/src/ubik/udebug.c index 258624845..7145036b8 100644 --- 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"); -- 2.39.5