diff options
| author | Pierre Peltier <pierre.peltier@adevinta.com> | 2019-12-11 10:46:41 +0100 |
|---|---|---|
| committer | Pierre Peltier <8608160+Peltoche@users.noreply.github.com> | 2020-01-07 16:40:58 +0100 |
| commit | 87e87d87cdf91d7e8a3f385b0a5beb96ddbd8824 (patch) | |
| tree | 0f1f6067a28d596c41fcb714abe11967ebccb8c0 /src/app.rs | |
| parent | 748a2722a2688b44d8d70d3f87899dccbf66f937 (diff) | |
Do not panic if the pipes a closed before all the output is written
Diffstat (limited to 'src/app.rs')
0 files changed, 0 insertions, 0 deletions