mirror of
https://github.com/boostorg/log.git
synced 2026-01-20 04:42:11 +00:00
This allows to have different file names when actively writing the log file and when rotating. In particular, this solves the problem with appending to the previous file, when the log files are also collected and are supposed to have distincs names.
3.4 KiB
3.4 KiB