flush stdout before writing to stderr in print_error()
1 file changed