gameServer/Actions.hs
changeset 15721 27eb5abd5058
parent 15429 d9a12aba5c05
child 15810 acf70c44065b
--- 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 ()