Fix for #719514 'Themes: <file> and <otherfile> are the same file'

bzr-revno: 2197
Fixes: https://launchpad.net/bugs/719514
This commit is contained in:
Tomas Groth 2014-06-22 22:39:30 +02:00 committed by Raoul Snyman
commit bd7ca6b54b

View File

@ -698,7 +698,7 @@ class ThemeManager(QtGui.QWidget):
finally: finally:
if out_file: if out_file:
out_file.close() out_file.close()
if image_from and image_from != image_to: if image_from and os.path.abspath(image_from) != os.path.abspath(image_to):
try: try:
encoding = get_filesystem_encoding() encoding = get_filesystem_encoding()
shutil.copyfile( shutil.copyfile(