From: Nick Mathewson <nickm@torproject.org>
Date: Thu, 1 Aug 2019 14:25:20 +0000 (-0400)
Subject: practracker: restore exceptions.txt header when running --regen
X-Git-Tag: tor-0.4.2.1-alpha~115
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=a4e4896e665797d283aaa421437a5af6ac3669c8;p=thirdparty%2Ftor.git

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

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)