From: Luke Lau Date: Wed, 10 Jun 2020 13:41:04 +0000 (+0100) Subject: Wait for the server to exit cleanly X-Git-Tag: 0.11.0.2~2 X-Git-Url: http://git.lukelau.me/?p=lsp-test.git;a=commitdiff_plain;h=f2ff4d582cebcc82e507f33dc5094586de0ee93d Wait for the server to exit cleanly Fixes #70 --- diff --git a/src/Language/Haskell/LSP/Test/Session.hs b/src/Language/Haskell/LSP/Test/Session.hs index 9076a8e..2a0eb08 100644 --- a/src/Language/Haskell/LSP/Test/Session.hs +++ b/src/Language/Haskell/LSP/Test/Session.hs @@ -71,7 +71,7 @@ import Language.Haskell.LSP.Test.Exceptions import System.Console.ANSI import System.Directory import System.IO -import System.Process (ProcessHandle()) +import System.Process (waitForProcess, ProcessHandle()) import System.Timeout -- | A session representing one instance of launching and connecting to a server. @@ -264,12 +264,15 @@ runSessionWithHandles serverIn serverOut serverProc serverHandler config caps ro serverListenerLauncher = forkIO $ catch (serverHandler serverOut context) errorHandler server = (Just serverIn, Just serverOut, Nothing, serverProc) + msgTimeoutMs = messageTimeout config * 10^6 serverAndListenerFinalizer tid = do - finally (timeout (messageTimeout config * 1^6) - (runSession' exitServer)) + finally (timeout msgTimeoutMs (runSession' exitServer)) $ do -- Make sure to kill the listener first, before closing -- handles etc via cleanupProcess - (killThread tid >> cleanupProcess server) + killThread tid + -- Give the server some time to exit cleanly + timeout msgTimeoutMs (waitForProcess serverProc) + cleanupProcess server (result, _) <- bracket serverListenerLauncher serverAndListenerFinalizer