PluginManager/PluginManager.py

changeset 5395
56efc13e456e
parent 5389
9b1c800daff3
child 5555
5ece4e830780
diff -r b2c6179184f6 -r 56efc13e456e PluginManager/PluginManager.py
--- a/PluginManager/PluginManager.py	Sun Jan 01 18:09:48 2017 +0100
+++ b/PluginManager/PluginManager.py	Sun Jan 01 18:13:13 2017 +0100
@@ -1257,7 +1257,7 @@
         if version.count(".") >= 3:
             # cope for extended version numbers by ignoring
             # the extension
-            checkVersion = ".".join(version.split(".",3)[:3])
+            checkVersion = ".".join(version.split(".", 3)[:3])
         else:
             checkVersion = version
         if pluginDetails["version"] < checkVersion:

eric ide

mercurial