# HG changeset patch
# User smxx
# Date 1267997226 0
# Node ID fab0d8b04bb9e9eadcd5649af3393b020786af6c
# Parent  2a8c76b23e2c7753b7fb483db06cbee699d6065c
Server:
* Updated syntax/usage info to show real executable name

diff -r 2a8c76b23e2c -r fab0d8b04bb9 gameServer/Opts.hs
--- a/gameServer/Opts.hs	Sun Mar 07 16:40:21 2010 +0000
+++ b/gameServer/Opts.hs	Sun Mar 07 21:27:06 2010 +0000
@@ -40,4 +40,4 @@
     case getOpt Permute options args of
         (o, [], []) -> return $ foldr ($) opts o
         (_,_,errs) -> ioError (userError (concat errs ++ usageInfo header options))
-    where header = "Usage: newhwserv [OPTION...]"
+    where header = "Usage: hedgewars-server [OPTION...]"