gameServer/Actions.hs
branch1.0.0
changeset 15883 9d4ba1912e71
parent 15429 d9a12aba5c05
child 15810 acf70c44065b
--- a/gameServer/Actions.hs	Mon Sep 12 10:44:55 2022 -0400
+++ b/gameServer/Actions.hs	Mon Sep 12 12:50:37 2022 -0400
@@ -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 ()