From ef95c122570b8459b98ff7bbcf6501c00d382942 Mon Sep 17 00:00:00 2001 From: Nathan Neulinger Date: Tue, 3 Apr 2001 21:26:31 +0000 Subject: [PATCH] correct-udebug-flag-name-20010403 -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 2586248..7145036 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"); -- 1.9.4