fixed bug #719514 ' Themes: <file> and <otherfile> are the same file'

Fixes: https://launchpad.net/bugs/719514
This commit is contained in:
Tomas Groth 2014-06-15 22:28:26 +02:00
parent a045ae3533
commit 93e25d2aa6

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(