dbtool gives help URL on bad arguments
authorAdam Chlipala <adamc@hcoop.net>
Sun, 23 Dec 2007 22:26:39 +0000 (22:26 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sun, 23 Dec 2007 22:26:39 +0000 (22:26 +0000)
src/main-dbtool.sml

index 7bf0fec..d9765a9 100644 (file)
 
 (* Driver for dbtool *)
 
 
 (* Driver for dbtool *)
 
+fun badArgs () =
+    print "Invalid command-line arguments.  See documentation at:\n\thttp://wiki.hcoop.net/MemberManual/Databases\n"
+
 val _ =
     case CommandLine.arguments () of
 val _ =
     case CommandLine.arguments () of
-       [] => print "Invalid command-line arguments\n"
+       [] => badArgs ()
       | dbtype :: rest =>
        case Dbms.lookup dbtype of
            NONE => print ("Unknown database type " ^ dbtype ^ ".\n")
       | dbtype :: rest =>
        case Dbms.lookup dbtype of
            NONE => print ("Unknown database type " ^ dbtype ^ ".\n")
@@ -68,4 +71,4 @@ val _ =
                    Main.requestDbGrant {dbtype = dbtype, dbname = dbname}
                else
                    print ("Invalid database name " ^ dbname ^ ".\n")
                    Main.requestDbGrant {dbtype = dbtype, dbname = dbname}
                else
                    print ("Invalid database name " ^ dbname ^ ".\n")
-             | _ => print "Invalid command-line arguments\n"
+             | _ => badArgs ()