Don't remove client's teams from teams list on "ROUNDFINISHED 0", just send team removal message to others.
This should fix problems with ghost teams in frontend.
Not tested at all, successfully built on first attempt, which is considered as a bad sign :D
Server still thinks game proceeds, so restart isn't possible.
Name: hedgewars-server
Version: 0.1
Synopsis: hedgewars server
Description: hedgewars server
Homepage: http://www.hedgewars.org/
License: GPL-2
Author: unC0Rr
Maintainer: unC0Rr@hedgewars.org
Category: Game
Build-type: Simple
Cabal-version: >=1.2
Executable hedgewars-server
main-is: hedgewars-server.hs
Build-depends:
base >= 4.3,
unix,
containers,
array,
bytestring,
bytestring-show,
network >= 2.3,
time,
mtl >= 2,
dataenc,
hslogger,
process,
deepseq,
utf8-string
ghc-options: -O2