Commit 5fad487
Phil Hindman
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.1 parent 88bd8e1 commit 5fad487
1 file changed
+2
-2
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
10 | 10 | | |
11 | 11 | | |
12 | 12 | | |
13 | | - | |
| 13 | + | |
14 | 14 | | |
15 | 15 | | |
16 | 16 | | |
17 | 17 | | |
18 | | - | |
| 18 | + | |
19 | 19 | | |
20 | 20 | | |
21 | 21 | | |
| |||
0 commit comments