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 ()