equal
deleted
inserted
replaced
707 when (not sp) $ do |
707 when (not sp) $ do |
708 sock <- gets (fromJust . serverSocket . serverInfo) |
708 sock <- gets (fromJust . serverSocket . serverInfo) |
709 args <- gets (runArgs . serverInfo) |
709 args <- gets (runArgs . serverInfo) |
710 io $ do |
710 io $ do |
711 noticeM "Core" "Closing listening socket" |
711 noticeM "Core" "Closing listening socket" |
712 sClose sock |
712 close sock |
713 noticeM "Core" "Spawning new server" |
713 noticeM "Core" "Spawning new server" |
714 _ <- createProcess (proc "./hedgewars-server" args) |
714 _ <- createProcess (proc "./hedgewars-server" args) |
715 return () |
715 return () |
716 processAction $ ModifyServerInfo (\s -> s{shutdownPending = True}) |
716 processAction $ ModifyServerInfo (\s -> s{shutdownPending = True}) |
717 |
717 |