equal
deleted
inserted
replaced
11 import Utils |
11 import Utils |
12 |
12 |
13 options :: [OptDescr (ServerInfo -> ServerInfo)] |
13 options :: [OptDescr (ServerInfo -> ServerInfo)] |
14 options = [ |
14 options = [ |
15 Option ['p'] ["port"] (ReqArg readListenPort "PORT") "listen on PORT", |
15 Option ['p'] ["port"] (ReqArg readListenPort "PORT") "listen on PORT", |
16 Option ['d'] ["dedicated"] (ReqArg readDedicated "BOOL") "start as dedicated (True or False)", |
16 Option ['d'] ["dedicated"] (ReqArg readDedicated "BOOL") "start as dedicated (True or False)" |
17 Option [] ["db-login"] (ReqArg readDbLogin "STRING") "database access login", |
|
18 Option [] ["db-password"] (ReqArg readDbPassword "STRING") "database access password", |
|
19 Option [] ["db-host"] (ReqArg readDbHost "STRING") "database host" |
|
20 ] |
17 ] |
21 |
18 |
22 readListenPort, |
19 readListenPort, |
23 readDedicated, |
20 readDedicated, |
24 readDbLogin, |
21 readDbLogin, |