diff options
| author | Florian Fischer <florian.fl.fischer@fau.de> | 2020-04-23 11:33:34 +0200 |
|---|---|---|
| committer | Florian Fischer <florian.fl.fischer@fau.de> | 2020-04-23 11:33:34 +0200 |
| commit | deac53607db2b2f16dc987f7f002f1095862a582 (patch) | |
| tree | 65a7ab7c79a711dbea57a8e3a5439a8ad3fa2fc8 /merge.py | |
| parent | 8c53567d91194f444b1c22cd0467c49f63baac84 (diff) | |
| download | allocbench-deac53607db2b2f16dc987f7f002f1095862a582.tar.gz allocbench-deac53607db2b2f16dc987f7f002f1095862a582.zip | |
fix shutdown for already terminated servers and save their returncode
Diffstat (limited to 'merge.py')
0 files changed, 0 insertions, 0 deletions