Closed snglth closed 6 years ago
Quick and dirty hack suggested by rust developers https://github.com/rust-lang/rust/issues/24821
Looks clean enough to me :) Ideally we should exit once we can't write to stdout anymore, but that's an optimisation for later.
Merged, thanks.
Quick and dirty hack suggested by rust developers https://github.com/rust-lang/rust/issues/24821