diff -r d79ffcdd77df -r 1f5604cd99be gameServer/hedgewars-server.hs