Mercurial Repositories > eric / file diff

diff -r 4bf49e0840f3 -r 22c15d7e2cad PluginManager/PluginManager.py
--- a/PluginManager/PluginManager.py	Sun Dec 18 18:46:43 2016 +0100
+++ b/PluginManager/PluginManager.py	Mon Dec 19 13:30:52 2016 +0100
@@ -1254,7 +1254,13 @@
                 self.__updateAvailable = True
             return
         
-        if pluginDetails["version"] < version:
+        if version.count(".") >= 3:
+            # cope for extended version numbers by ignoring
+            # the extension
+            checkVersion = ".".join(version.split(".",3)[:3])
+        else:
+            checkVersion = version
+        if pluginDetails["version"] < checkVersion:
             self.__updateAvailable = True
             return