eric6/Globals/__init__.py

changeset 7805
3cad282e8409
parent 7804
1cbc27e34ec6
child 7835
0835ed67714b
--- a/eric6/Globals/__init__.py	Sun Oct 18 18:51:45 2020 +0200
+++ b/eric6/Globals/__init__.py	Mon Oct 19 17:19:27 2020 +0200
@@ -224,6 +224,7 @@
     """
     filename = "eric6install.{0}.json".format(
         getConfig("ericDir")
+        .replace(":", "_")
         .replace("\\", "_")
         .replace("/", "_")
         .replace(" ", "_")

eric ide

mercurial