diff options
| author | Siri Hansen <[email protected]> | 2019-02-21 20:40:06 +0100 |
|---|---|---|
| committer | Siri Hansen <[email protected]> | 2019-02-21 20:40:06 +0100 |
| commit | 62cd2601e1206d2623a9a3c9d93d62f3c1f1556c (patch) | |
| tree | a8244e53ee8113002ce54d35cba31402f62a9c65 /plt | |
| parent | cb9b1267f2465a129a1f5de5cf812bcfd5a7a9f4 (diff) | |
| download | otp-62cd2601e1206d2623a9a3c9d93d62f3c1f1556c.tar.gz otp-62cd2601e1206d2623a9a3c9d93d62f3c1f1556c.tar.bz2 otp-62cd2601e1206d2623a9a3c9d93d62f3c1f1556c.zip | |
[logger] Make sure log file is re-opened with configured file options
Earlier, if the log file had to be re-opened, e.g. due to it being
renamed or removed, it would always be opened with the default file
options, even if other options were set in the configuration.
Now, the configured options are used, except that 'append' is always
added and 'exclusive' is always removed.
Diffstat (limited to 'plt')
0 files changed, 0 insertions, 0 deletions