Commit 5a7bb98
committed
WebAgg: flush stdout after printing, redirect "stopped" message to stderr
Without flushing, the message can be displayed too late. KeyboardInterrupt message should be printed to stderr.1 parent 28d3fcd commit 5a7bb98
1 file changed
+4
-2
lines changedLines changed: 4 additions & 2 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
21 | 21 |
| |
22 | 22 |
| |
23 | 23 |
| |
| 24 | + | |
24 | 25 |
| |
25 | 26 |
| |
26 | 27 |
| |
| |||
333 | 334 |
| |
334 | 335 |
| |
335 | 336 |
| |
336 |
| - | |
| 337 | + | |
| 338 | + | |
337 | 339 |
| |
338 | 340 |
| |
339 | 341 |
| |
340 |
| - | |
| 342 | + | |
341 | 343 |
| |
342 | 344 |
| |
343 | 345 |
| |
|
0 commit comments