X-Git-Url: https://git.lukelau.me/?p=lsp-test.git;a=blobdiff_plain;f=src%2FLanguage%2FHaskell%2FLSP%2FTest%2FSession.hs;h=2a0eb08c0f6cdb604894ea46220081ba91864240;hp=9076a8e5e02e9ed819479a7d10c2f3a2d4ffc21a;hb=f2ff4d582cebcc82e507f33dc5094586de0ee93d;hpb=72257c6a7b5461c529c415b93e1c3507e1c843a7 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