Globals/__init__.py

changeset 6530
25b9dcfd6fcc
parent 6474
72c063cc730b
child 6589
613426e62983
--- a/Globals/__init__.py	Wed Oct 03 17:33:40 2018 +0200
+++ b/Globals/__init__.py	Wed Oct 03 17:37:40 2018 +0200
@@ -177,7 +177,7 @@
                 hpNew = os.path.join(os.path.expanduser("~"), cdn)
                 if os.path.exists(hpNew):
                     # simply delete the old config directory
-                    shutil.rmtree(hpOld,  True)
+                    shutil.rmtree(hpOld, True)
                 else:
                     os.rename(hpOld, hpNew)
         

eric ide

mercurial