diff options
Diffstat (limited to 'changes/bug33087')
| -rw-r--r-- | changes/bug33087 | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/changes/bug33087 b/changes/bug33087 new file mode 100644 index 0000000000..ab6df58cc6 --- /dev/null +++ b/changes/bug33087 @@ -0,0 +1,7 @@ + o Minor bugfixes (logging): + - Stop closing stderr and stdout during shutdown. Closing these file + descriptors can hide sanitiser logs. + Fixes bug 33087; bugfix on 0.4.1.6. + - Flush stderr, stdout, and file logs during shutdown, if supported by the + OS. This change helps make sure that any final logs are recorded. + Fixes bug 33087; bugfix on 0.4.1.6. |