Closed
Description
Specifically, the stdout buffer doesn't flush: from #28058:
fn main() { print!("Hi!"); }
results in "Hi!",fn main() { print!("Hi!"); std::process::exit(0); }
results in no output.
We should probably just be using libc atexit here.
Metadata
Metadata
Assignees
Labels
No labels