You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
' panicked at 'failed printing to stdout: Broken pipe (os error 32)', ../src/libstd/io/stdio.rs:617
note: Run with RUST_BACKTRACE=1 for a backtrace.
doesn't like pipes
Fixed it locally by emulating the language's fix locally in query.rs. Basically, if we fail to flush, stop writing. Don't think it's needed anywhere else, but the fix is needed in the language really rather than everywhere else. Hopefully the comment will remind me to take it out.
The text was updated successfully, but these errors were encountered:
➜ media-engine git:(coverity) ✗ lal query media-engine | head -n 1
10
thread '
' panicked at 'failed printing to stdout: Broken pipe (os error 32)', ../src/libstd/io/stdio.rs:617
note: Run with RUST_BACKTRACE=1 for a backtrace.
doesn't like pipes
Fixed it locally by emulating the language's fix locally in query.rs. Basically, if we fail to flush, stop writing. Don't think it's needed anywhere else, but the fix is needed in the language really rather than everywhere else. Hopefully the comment will remind me to take it out.
The text was updated successfully, but these errors were encountered: