]> git.ipfire.org Git - thirdparty/tor.git/commitdiff
practracker: restore exceptions.txt header when running --regen
authorNick Mathewson <nickm@torproject.org>
Thu, 1 Aug 2019 14:25:20 +0000 (10:25 -0400)
committerNick Mathewson <nickm@torproject.org>
Thu, 1 Aug 2019 14:25:20 +0000 (10:25 -0400)
scripts/maint/practracker/practracker.py

index a4e951ac7c2e92763c72f5557bbc426dbe8dc28f..7e51edb48f767c18b42a8c976a29ecd71aaf9efd 100755 (executable)
@@ -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)