gameServer/hedgewars-server.hs
Fri, 04 Sep 2009 12:48:44 +0000 unc0rr Some fixes suggested by hlint
Fri, 04 Sep 2009 07:04:27 +0000 unc0rr Drop support for ghc 6.8, use 6.10 instead
Wed, 05 Aug 2009 05:44:13 +0000 unc0rr Patch for compiling with 6.10 (define NEW_EXCEPTIONS to do that)
Wed, 27 May 2009 18:13:06 +0000 unc0rr Another approach to zombies problem (set SIGCHLD handler to SIG_IGN)
Mon, 13 Apr 2009 12:27:59 +0000 unc0rr Less verbose server output
Sun, 12 Apr 2009 12:50:43 +0000 unc0rr - Another way of defining official server
Fri, 27 Mar 2009 20:29:38 +0000 unc0rr Ping clients every 30 seconds. Disconnection due to ping timeout to be implemented.
less more (0) -7 tip