diff options
| author | drebs <drebs@riseup.net> | 2017-11-21 19:06:19 -0200 |
|---|---|---|
| committer | drebs <drebs@riseup.net> | 2017-11-21 20:57:17 -0200 |
| commit | 5956b8e095966f91ea8d83956d0d7d46a447ddba (patch) | |
| tree | 0ab218e27ea473cffaa16a435a693f9119169dc7 /scripts/benchmark | |
| parent | 2862a01e88801955c5d833a7c87b50ffba7edd8f (diff) | |
[bug] use os._exit to ensure a clean log on startup failure
Diffstat (limited to 'scripts/benchmark')
0 files changed, 0 insertions, 0 deletions