Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Store logging filename in @logging-variable
Since the string stored in @logging-variable can be arbitrary, let's store the filename there, so that we can display the correct name when we stop logging.
- Loading branch information