gameServer/Opts.hs
changeset 2966 fab0d8b04bb9
parent 2867 9be6693c78cb
child 3500 af8390d807d6
equal deleted inserted replaced
2965:2a8c76b23e2c 2966:fab0d8b04bb9
    38 getOpts opts = do
    38 getOpts opts = do
    39     args <- getArgs
    39     args <- getArgs
    40     case getOpt Permute options args of
    40     case getOpt Permute options args of
    41         (o, [], []) -> return $ foldr ($) opts o
    41         (o, [], []) -> return $ foldr ($) opts o
    42         (_,_,errs) -> ioError (userError (concat errs ++ usageInfo header options))
    42         (_,_,errs) -> ioError (userError (concat errs ++ usageInfo header options))
    43     where header = "Usage: newhwserv [OPTION...]"
    43     where header = "Usage: hedgewars-server [OPTION...]"