diff options
| author | tomsmeding <tom.smeding@gmail.com> | 2018-08-29 22:54:57 +0200 |
|---|---|---|
| committer | tomsmeding <tom.smeding@gmail.com> | 2018-08-29 22:54:57 +0200 |
| commit | aa8c92d0cb854dcc93d7f9076285332417354889 (patch) | |
| tree | 583347bae0091b902c18efd9aaaf21d319a97649 /referee.cpp | |
| parent | 4d82d1ae95ee33dae80f71021ec15da03bcdde73 (diff) | |
Fix wait()'ing on a Process after terminate()'ing it
Diffstat (limited to 'referee.cpp')
0 files changed, 0 insertions, 0 deletions