branch | 1.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 ()