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

diff --git a/scripts/maint/practracker/practracker.py b/scripts/maint/practracker/practracker.py
index a4e951ac7c2e92763c72f5557bbc426dbe8dc28f..7e51edb48f767c18b42a8c976a29ecd71aaf9efd 100755 (executable)
--- 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)