From 9af031805bb230098370e67ea693aa4fe58b9ce8 Mon Sep 17 00:00:00 2001 From: Luke Lau Date: Wed, 10 Jun 2020 14:41:04 +0100 Subject: [PATCH] Wait for the server to exit cleanly Fixes bubba/lsp-test/#70 --- lsp-test/src/Language/Haskell/LSP/Test/Session.hs | 15 +++++++++------ 1 file changed, 9 insertions(+), 6 deletions(-) diff --git a/lsp-test/src/Language/Haskell/LSP/Test/Session.hs b/lsp-test/src/Language/Haskell/LSP/Test/Session.hs index 9076a8e5e..2a0eb08c0 100644 --- a/lsp-test/src/Language/Haskell/LSP/Test/Session.hs +++ b/lsp-test/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)) - -- Make sure to kill the listener first, before closing - -- handles etc via cleanupProcess - (killThread tid >> cleanupProcess server) + finally (timeout msgTimeoutMs (runSession' exitServer)) $ do + -- Make sure to kill the listener first, before closing + -- handles etc via cleanupProcess + killThread tid + -- Give the server some time to exit cleanly + timeout msgTimeoutMs (waitForProcess serverProc) + cleanupProcess server (result, _) <- bracket serverListenerLauncher serverAndListenerFinalizer