From a4e4896e665797d283aaa421437a5af6ac3669c8 Mon Sep 17 00:00:00 2001 From: Nick Mathewson Date: Thu, 1 Aug 2019 10:25:20 -0400 Subject: [PATCH] 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 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)