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/display.rs | |
parent | 748a2722a2688b44d8d70d3f87899dccbf66f937 (diff) |
Do not panic if the pipes a closed before all the output is written
Diffstat (limited to 'src/display.rs')
0 files changed, 0 insertions, 0 deletions