##// END OF EJS Templates
Don't move the file if it doesn't need to be moved.
Jonathan Frederic -
Show More
@@ -88,8 +88,9 b' class FilesWriter(WriterBase):'
88 if not os.path.isdir(path):
88 if not os.path.isdir(path):
89 os.makedirs(path)
89 os.makedirs(path)
90
90
91 #Copy
91 #Copy if destination is different.
92 shutil.copyfile(matching_filename, dest)
92 if not os.path.normpath(dest) == os.path.normpath(matching_filename):
93 shutil.copyfile(matching_filename, dest)
93
94
94 #Determine where to write conversion results.
95 #Determine where to write conversion results.
95 dest = notebook_name + '.' + output_extension
96 dest = notebook_name + '.' + output_extension
General Comments 0
You need to be logged in to leave comments. Login now