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
Running popgetter metrics --full | head -1000 currently results in a broken pipe error: failed printing to stdout: Broken pipe (os error 32)
Related issue alan-turing-institute/whatwhat#107 where a similar fix could be implemented here by using writeln!(stdout, ...) over println!() and handling errors of kind std::io::ErrorKind::BrokenPipe
The text was updated successfully, but these errors were encountered:
Running
popgetter metrics --full | head -1000
currently results in a broken pipe error:failed printing to stdout: Broken pipe (os error 32)
Related issue alan-turing-institute/whatwhat#107 where a similar fix could be implemented here by using
writeln!(stdout, ...)
overprintln!()
and handling errors of kindstd::io::ErrorKind::BrokenPipe
The text was updated successfully, but these errors were encountered: