diff -r 21dd1def5aaf -r 0eab727d4717 gameServer/hedgewars-server.hs