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
Original bug ID: 7066 Reporter:@alainfrisch Status: resolved (set by @mshinwell on 2016-12-08T08:30:47Z) Resolution: open Priority: normal Severity: minor Target version: later Category: standard library
Bug description
This function is called at exit time. A flushing fail for any reason, there is simply no sign of the error. When runtime_warnings are enabled, one could show some text on stderr instead.
Original bug ID: 7066
Reporter: @alainfrisch
Status: resolved (set by @mshinwell on 2016-12-08T08:30:47Z)
Resolution: open
Priority: normal
Severity: minor
Target version: later
Category: standard library
Bug description
This function is called at exit time. A flushing fail for any reason, there is simply no sign of the error. When runtime_warnings are enabled, one could show some text on stderr instead.
Refs: #6902, #210
The text was updated successfully, but these errors were encountered: