Use shutil.move instead of os.rename in case files are on different disks

This commit is contained in:
Micah Lee 2021-12-13 10:55:55 -08:00
parent b4cae37874
commit a81b2043cf
No known key found for this signature in database
GPG key ID: 403C2657CD994F73

View file

@ -129,7 +129,7 @@ def convert(input_filename, output_filename, ocr_lang, stdout_callback):
container_output_filename = os.path.join( container_output_filename = os.path.join(
safe_dir, "safe-output-compressed.pdf" safe_dir, "safe-output-compressed.pdf"
) )
os.rename(container_output_filename, output_filename) shutil.move(container_output_filename, output_filename)
# We did it # We did it
success = True success = True