diff options
author | Roman Smrž <roman.smrz@seznam.cz> | 2025-06-21 16:20:46 +0200 |
---|---|---|
committer | Roman Smrž <roman.smrz@seznam.cz> | 2025-06-21 16:20:46 +0200 |
commit | be3eac94b495a015541907d035044a1687aaa4b1 (patch) | |
tree | dcda4fb974c3e8389c5c21ea8ec8a5d6dca753c4 /src/Run.hs | |
parent | 06df252ce401f7701f1d830d1867fedda1b36d05 (diff) |
Use current timeout value when waiting for process termination
Diffstat (limited to 'src/Run.hs')
-rw-r--r-- | src/Run.hs | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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) |