From be3eac94b495a015541907d035044a1687aaa4b1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Roman=20Smr=C5=BE?= Date: Sat, 21 Jun 2025 16:20:46 +0200 Subject: Use current timeout value when waiting for process termination --- src/Run.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/Run.hs') diff --git a/src/Run.hs b/src/Run.hs index 4d68fb6..d5b0d29 100644 --- a/src/Run.hs +++ b/src/Run.hs @@ -111,7 +111,7 @@ runTest out opts gdefs test = do void $ installHandler processStatusChanged oldHandler Nothing Right () <- runExceptT $ flip runReaderT out $ do - maybe (return ()) (closeProcess . snd) mgdb + maybe (return ()) (closeProcess 1 . snd) mgdb [] <- readMVar procVar failed <- atomically $ readTVar (teFailed tenv) -- cgit v1.2.3