# HG changeset patch
# User unc0rr
# Date 1224528728 0
# Node ID 674429128152e1583c71a6152a1b0769e1bb6694
# Parent  ca72264f921a1c519264576352ccba24125de521
Oops... start a dedicated server by default

diff -r ca72264f921a -r 674429128152 netserver/Opts.hs
--- a/netserver/Opts.hs	Mon Oct 20 18:51:43 2008 +0000
+++ b/netserver/Opts.hs	Mon Oct 20 18:52:08 2008 +0000
@@ -15,7 +15,7 @@
 		listenPort :: PortNumber
 	}
 defaultMessage = "<h2><p align=center><a href=\"http://www.hedgewars.org/\">http://www.hedgewars.org/</a></p></h2>"
-defaultOptions = (GlobalOptions False defaultMessage 46631)
+defaultOptions = (GlobalOptions True defaultMessage 46631)
 
 options :: [OptDescr (GlobalOptions -> GlobalOptions)]
 options = [