diff options
author | Nick Mathewson <nickm@torproject.org> | 2019-07-17 15:28:48 +0200 |
---|---|---|
committer | Nick Mathewson <nickm@torproject.org> | 2019-07-18 09:28:08 -0400 |
commit | d6a3636cdcb2556e99744dc3685db2010e151291 (patch) | |
tree | 2b25f53c67b8f2f8e22491b4b2db4e7ae8faf64f /scripts/maint/practracker/practracker.py | |
parent | 6303c9aa2647365fa66de2b6ce1af109417b6603 (diff) | |
download | tor-d6a3636cdcb2556e99744dc3685db2010e151291.tar.gz tor-d6a3636cdcb2556e99744dc3685db2010e151291.zip |
Add a TOR_DISABLE_PRACTRACKER envvar for use by folks who don't care
Fixes part of bug 30752
Diffstat (limited to 'scripts/maint/practracker/practracker.py')
-rwxr-xr-x | scripts/maint/practracker/practracker.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/maint/practracker/practracker.py b/scripts/maint/practracker/practracker.py index 75cd44d228..70035a0ab6 100755 --- a/scripts/maint/practracker/practracker.py +++ b/scripts/maint/practracker/practracker.py @@ -227,6 +227,9 @@ Please fix the problems if you can, and update the exceptions file ({}) if you can't. See doc/HACKING/HelpfulTools.md for more information on using practracker.\ + +You can disable this message by setting the TOR_DISABLE_PRACTRACKER environment +variable. """.format(found_new_issues, exceptions_file) print(new_issues_str) |