practracker: use shutil.move so --regen will work on windows

On windows you can't os.rename() a file if the target filename
already exists.

diff --git a/scripts/maint/practracker/practracker.py b/scripts/maint/practracker/practracker.py
index 3f40f63c48a070b9d39427679cea317613b3a82a..6149fb79cb74ef61948f448088daf2ede004884d 100755 (executable)
--- a/scripts/maint/practracker/practracker.py
+++ b/scripts/maint/practracker/practracker.py
@@ -30,6 +30,7 @@ import metrics
 import util
 import problem
 import includes
+import shutil
 
 # The filename of the exceptions file (it should be placed in the practracker directory)
 EXCEPTIONS_FNAME = "./exceptions.txt"
@@ -275,7 +276,7 @@ def main(argv):
 
     if args.regen:
         tmpfile.close()
-        os.rename(tmpname, exceptions_file)
+        shutil.move(tmpname, exceptions_file)
         sys.exit(0)
 
     if args.regen_overbroad:
@@ -285,7 +286,7 @@ def main(argv):
         for item in ProblemVault.list_exceptions_without_overbroad():
             print(item, file=tmpfile)
         tmpfile.close()
-        os.rename(tmpname, exceptions_file)
+        shutil.move(tmpname, exceptions_file)
         sys.exit(0)
 
     # If new issues were found, try to give out some advice to the developer on how to resolve it.