PluginManager/PluginRepositoryDialog.py

changeset 5382
5b772524f302
parent 5047
04e5dfbd3f3d
child 5389
9b1c800daff3
--- a/PluginManager/PluginRepositoryDialog.py	Sun Dec 18 12:58:22 2016 +0100
+++ b/PluginManager/PluginRepositoryDialog.py	Sun Dec 18 13:42:41 2016 +0100
@@ -643,7 +643,13 @@
                 pluginManager = e5App().getObject("PluginManager")
                 pluginName = filename.rsplit('-', 1)[0]
                 pluginDetails = pluginManager.getPluginDetails(pluginName)
-                if pluginDetails is None or pluginDetails["version"] < version:
+                if pluginDetails is None:
+                    return PluginRepositoryWidget.PluginStatusLocalUpdate
+                if version.count(".") >= 3:
+                    # cope for extended version numbers by ignoring
+                    # the extension
+                    version = ".".join(version.split(".",3)[:3])
+                if pluginDetails["version"] < version:
                     return PluginRepositoryWidget.PluginStatusLocalUpdate
             
             return PluginRepositoryWidget.PluginStatusUpToDate

eric ide

mercurial