gameServer/hedgewars-server.hs
Sun, 27 Feb 2011 20:15:09 +0300 unc0rr Start new server on RestartException
Sun, 27 Feb 2011 19:32:14 +0300 unc0rr merge
Wed, 23 Feb 2011 18:38:11 +0300 unc0rr Remove deprecated statistics MVar
Sun, 06 Feb 2011 21:50:29 +0300 unc0rr - Take into account hlint suggestions
Sat, 05 Feb 2011 23:15:22 +0300 unc0rr Fix build of official server
Wed, 02 Feb 2011 21:23:12 +0300 unc0rr Fix merge :D
Wed, 02 Feb 2011 11:28:38 +0300 unc0rr Merge server refactor into default
Wed, 26 Jan 2011 22:06:27 +0300 unc0rr Apply rev b9fe93f187c4 to server rewrite too server_refactor
Sun, 19 Dec 2010 13:31:55 -0500 nemo Ok. This should pull 0.9.14.1 server into default
Fri, 12 Nov 2010 18:57:36 -0500 nemo This revision should, in theory, correctly merge 0.9.14 and tip, so that future merges of 0.9.14 should work properly
Fri, 12 Nov 2010 20:42:36 +0300 unc0rr Make server listen on ipv4 interface only 0.9.14
Thu, 11 Nov 2010 22:17:54 +0300 unc0rr Revert to old server in branch 0.9.14 0.9.14
Sun, 10 Oct 2010 21:32:18 +0400 unc0rr Some screwing around in try to fix space leak. No luck yet.
Sun, 06 Jun 2010 15:29:33 +0000 unc0rr Use sockets instead of handles, use bytestrings instead of strings
Thu, 06 May 2010 17:39:08 +0000 unc0rr Some more steps in refactoring
Wed, 05 May 2010 08:01:37 +0000 unc0rr Start the server refactoring
Thu, 25 Feb 2010 18:28:33 +0000 unc0rr - Unbreak support for client versions prior to 0.9.13-dev
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.
Tue, 24 Feb 2009 19:39:49 +0000 unc0rr Server now send ASKPASSWORD command to frontend when user has web account
Mon, 23 Feb 2009 20:25:07 +0000 unc0rr Add options for configuring database access
Wed, 18 Feb 2009 15:04:40 +0000 unc0rr New game server:
less more (0) tip