diff options
| author | Nick Mathewson <nickm@torproject.org> | 2019-10-22 12:13:47 -0400 |
|---|---|---|
| committer | Nick Mathewson <nickm@torproject.org> | 2019-10-22 12:13:47 -0400 |
| commit | c1bf4260b69fa4de09471e31994b7fa242dce872 (patch) | |
| tree | 2fc8de1b4657c598cf94d03e543349bbd96f7687 /src/lib/log | |
| parent | d4dde249a04c768381767f67a1a82425bc70baaa (diff) | |
| parent | 749c2e1761c753992fb2549e7ee912e568f563d6 (diff) | |
| download | tor-c1bf4260b69fa4de09471e31994b7fa242dce872.tar.gz tor-c1bf4260b69fa4de09471e31994b7fa242dce872.zip | |
Merge remote-tracking branch 'tor-github/pr/1302' into maint-0.4.1
Diffstat (limited to 'src/lib/log')
| -rw-r--r-- | src/lib/log/log.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/lib/log/log.c b/src/lib/log/log.c index d95bf1ff6e..6667c26864 100644 --- a/src/lib/log/log.c +++ b/src/lib/log/log.c @@ -806,7 +806,10 @@ logs_free_all(void) } /* We _could_ destroy the log mutex here, but that would screw up any logs - * that happened between here and the end of execution. */ + * that happened between here and the end of execution. + * If tor is re-initialized, log_mutex_initialized will still be 1. So we + * won't trigger any undefined behaviour by trying to re-initialize the + * log mutex. */ } /** Remove and free the log entry <b>victim</b> from the linked-list |