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/Script | |
| parent | 06df252ce401f7701f1d830d1867fedda1b36d05 (diff) | |
Use current timeout value when waiting for process termination
Diffstat (limited to 'src/Script')
| -rw-r--r-- | src/Script/Shell.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Script/Shell.hs b/src/Script/Shell.hs index 5c70f2a..9bbf06c 100644 --- a/src/Script/Shell.hs +++ b/src/Script/Shell.hs @@ -90,5 +90,5 @@ withShellProcess node pname script inner = do inner process `finally` do ps <- liftIO $ takeMVar procVar - closeProcess process `finally` do + closeTestProcess process `finally` do liftIO $ putMVar procVar $ filter (/=process) ps |