This pr saves expanded $logging_full_filename after logging starts. Then the script reloads the full filename when users stop the logging, which make the filename consistent with the filename generated at the time when logging started.
Otherwise, the filename is regenerated when users stop the logging. Although the the new filename is not used for logging, but it's displayed in the message. The different logging filenames may confuse users.
This pr saves expanded
$logging_full_filename
after logging starts. Then the script reloads the full filename when users stop the logging, which make the filename consistent with the filename generated at the time when logging started.Otherwise, the filename is regenerated when users stop the logging. Although the the new filename is not used for logging, but it's displayed in the message. The different logging filenames may confuse users.
This pr fixes #36 .