equal
deleted
inserted
replaced
32 |
32 |
33 getOpts :: ServerInfo -> IO ServerInfo |
33 getOpts :: ServerInfo -> IO ServerInfo |
34 getOpts opts = do |
34 getOpts opts = do |
35 args <- getArgs |
35 args <- getArgs |
36 case getOpt Permute options args of |
36 case getOpt Permute options args of |
37 (o, [], []) -> return $ foldr ($) opts o |
37 (o, [], []) -> return $ foldr ($) opts{runArgs = args} o |
38 (_,_,errs) -> ioError (userError (concat errs ++ usageInfo header options)) |
38 (_,_,errs) -> ioError (userError (concat errs ++ usageInfo header options)) |
39 where header = "Usage: hedgewars-server [OPTION...]" |
39 where header = "Usage: hedgewars-server [OPTION...]" |