[tor-commits] [tor/master] practracker: restore exceptions.txt header when running --regen

[nickm at torproject.org]

commit a4e4896e665797d283aaa421437a5af6ac3669c8
Author: Nick Mathewson <nickm at torproject.org>
Date:   Thu Aug 1 10:25:20 2019 -0400

    practracker: restore exceptions.txt header when running --regen
---
 scripts/maint/practracker/practracker.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/maint/practracker/practracker.py b/scripts/maint/practracker/practracker.py
index a4e951ac7..7e51edb48 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)