diff -r f681c3f2eeba -r 27eb5abd5058 gameServer/Actions.hs
--- a/gameServer/Actions.hs	Tue Jul 07 00:17:05 2020 +0200
+++ b/gameServer/Actions.hs	Wed Jul 08 17:02:45 2020 +0300
@@ -709,7 +709,7 @@
         args <- gets (runArgs . serverInfo)
         io $ do
             noticeM "Core" "Closing listening socket"
-            sClose sock
+            close sock
             noticeM "Core" "Spawning new server"
             _ <- createProcess (proc "./hedgewars-server" args)
             return ()