problem2pdf: replace os.rename by shutil.move so that cross-filesyste…

…m moves work Fixes #107
Kattis · Dec 4, 2018 · 780f1fe · 780f1fe
1 parent 1f00492
commit 780f1fe
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/problemtools/problem2pdf.py b/problemtools/problem2pdf.py
@@ -2,6 +2,7 @@
 # -*- coding: utf-8 -*-
 import re
 import os.path
+import shutil
 import sys
 import string
 from string import Template
@@ -43,7 +44,7 @@ def convert(problem, options=None):
     os.chdir(origcwd)
 
     if not options.nopdf:
-        os.rename(os.path.splitext(texfile)[0] + '.pdf', destfile)
+        shutil.move(os.path.splitext(texfile)[0] + '.pdf', destfile)
 
     if templ != None:
         templ.cleanup()