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/Network.hs | |
| parent | 06df252ce401f7701f1d830d1867fedda1b36d05 (diff) | |
Use current timeout value when waiting for process termination
Diffstat (limited to 'src/Network.hs')
0 files changed, 0 insertions, 0 deletions