Browse Source

practracker: restore exceptions.txt header when running --regen

Nick Mathewson 4 years ago
parent
commit
a4e4896e66
1 changed files with 1 additions and 0 deletions
  1. 1 0
      scripts/maint/practracker/practracker.py

+ 1 - 0
scripts/maint/practracker/practracker.py

@@ -193,6 +193,7 @@ def main(argv):
         tmpname = exceptions_file + ".tmp"
         tmpname = exceptions_file + ".tmp"
         tmpfile = open(tmpname, "w")
         tmpfile = open(tmpname, "w")
         problem_file = tmpfile
         problem_file = tmpfile
+        problem_file.write(HEADER)
         ProblemVault = problem.ProblemVault()
         ProblemVault = problem.ProblemVault()
     else:
     else:
         ProblemVault = problem.ProblemVault(exceptions_file)
         ProblemVault = problem.ProblemVault(exceptions_file)