diff options
| author | Nick Mathewson <nickm@torproject.org> | 2019-08-01 10:25:20 -0400 |
|---|---|---|
| committer | Nick Mathewson <nickm@torproject.org> | 2019-08-01 10:25:20 -0400 |
| commit | a4e4896e665797d283aaa421437a5af6ac3669c8 (patch) | |
| tree | 9a2d27adc70bba61f479e639b3b9334c8286b522 /scripts/maint/practracker/practracker.py | |
| parent | c4864de5734b623999701da30a42019cabc42e54 (diff) | |
| download | tor-a4e4896e665797d283aaa421437a5af6ac3669c8.tar.gz tor-a4e4896e665797d283aaa421437a5af6ac3669c8.zip | |
practracker: restore exceptions.txt header when running --regen
Diffstat (limited to 'scripts/maint/practracker/practracker.py')
| -rwxr-xr-x | scripts/maint/practracker/practracker.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/maint/practracker/practracker.py b/scripts/maint/practracker/practracker.py index a4e951ac7c..7e51edb48f 100755 --- a/scripts/maint/practracker/practracker.py +++ b/scripts/maint/practracker/practracker.py @@ -193,6 +193,7 @@ def main(argv): tmpname = exceptions_file + ".tmp" tmpfile = open(tmpname, "w") problem_file = tmpfile + problem_file.write(HEADER) ProblemVault = problem.ProblemVault() else: ProblemVault = problem.ProblemVault(exceptions_file) |