equal
deleted
inserted
replaced
13 isDedicated :: Bool, |
13 isDedicated :: Bool, |
14 serverMessage :: String, |
14 serverMessage :: String, |
15 listenPort :: PortNumber |
15 listenPort :: PortNumber |
16 } |
16 } |
17 defaultMessage = "<h2><p align=center><a href=\"http://www.hedgewars.org/\">http://www.hedgewars.org/</a></p></h2>" |
17 defaultMessage = "<h2><p align=center><a href=\"http://www.hedgewars.org/\">http://www.hedgewars.org/</a></p></h2>" |
18 defaultOptions = (GlobalOptions False defaultMessage 46631) |
18 defaultOptions = (GlobalOptions True defaultMessage 46631) |
19 |
19 |
20 options :: [OptDescr (GlobalOptions -> GlobalOptions)] |
20 options :: [OptDescr (GlobalOptions -> GlobalOptions)] |
21 options = [ |
21 options = [ |
22 Option ['p'] ["port"] (ReqArg readListenPort "PORT") "listen on PORT", |
22 Option ['p'] ["port"] (ReqArg readListenPort "PORT") "listen on PORT", |
23 Option ['d'] ["dedicated"] (ReqArg readDedicated "BOOL") "start as dedicated (True or False)" |
23 Option ['d'] ["dedicated"] (ReqArg readDedicated "BOOL") "start as dedicated (True or False)" |