gameServer/Opts.hs
changeset 1964 dc9ea05c9d2f
parent 1832 1fb61a53a2c2
child 2867 9be6693c78cb
--- a/gameServer/Opts.hs	Sun Apr 12 06:01:17 2009 +0000
+++ b/gameServer/Opts.hs	Sun Apr 12 12:50:43 2009 +0000
@@ -13,10 +13,7 @@
 options :: [OptDescr (ServerInfo -> ServerInfo)]
 options = [
 	Option ['p'] ["port"] (ReqArg readListenPort "PORT") "listen on PORT",
-	Option ['d'] ["dedicated"] (ReqArg readDedicated "BOOL") "start as dedicated (True or False)",
-	Option []    ["db-login"] (ReqArg readDbLogin "STRING") "database access login",
-	Option []    ["db-password"] (ReqArg readDbPassword "STRING") "database access password",
-	Option []    ["db-host"] (ReqArg readDbHost "STRING") "database host"
+	Option ['d'] ["dedicated"] (ReqArg readDedicated "BOOL") "start as dedicated (True or False)"
 	]
 
 readListenPort,