changeset 5210 | a5329e52a71b |
parent 4989 | 4771fed9272e |
child 10460 | 8dcea9087d75 |
--- a/gameServer/Opts.hs Sun May 15 18:10:01 2011 +0400 +++ b/gameServer/Opts.hs Sun May 15 18:16:13 2011 +0400 @@ -34,6 +34,6 @@ getOpts opts = do args <- getArgs case getOpt Permute options args of - (o, [], []) -> return $ foldr ($) opts o + (o, [], []) -> return $ foldr ($) opts{runArgs = args} o (_,_,errs) -> ioError (userError (concat errs ++ usageInfo header options)) where header = "Usage: hedgewars-server [OPTION...]"