gameServer/Opts.hs
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...]"