PluginManager: reworked the last fix.

Sat, 08 Dec 2018 18:29:28 +0100

author
Detlev Offenbach <detlev@die-offenbachs.de>
date
Sat, 08 Dec 2018 18:29:28 +0100
changeset 6611
59b262a8e31c
parent 6610
75ed2d967ddf
child 6612
87984e7f11d9

PluginManager: reworked the last fix.

PluginManager/PluginManager.py file | annotate | diff | comparison | revisions
--- a/PluginManager/PluginManager.py	Sat Dec 08 17:47:01 2018 +0100
+++ b/PluginManager/PluginManager.py	Sat Dec 08 18:29:28 2018 +0100
@@ -1299,7 +1299,7 @@
         
         # Check against installed/loaded plug-ins
         pluginDetails = self.getPluginDetails(pluginName)
-        if pluginDetails is None or pluginDetails["moduleName"] != pluginName:
+        if pluginDetails is None:
             if not Preferences.getPluginManager("CheckInstalledOnly"):
                 self.__updateAvailable = True
             return
@@ -1316,6 +1316,8 @@
             # Check against downloaded plugin archives
             # 1. Check, if the archive file exists
             if not os.path.exists(archive):
+                if pluginDetails["moduleName"] != pluginName:
+                    self.__updateAvailable = True
                 return
             
             # 2. Check, if the archive is a valid zip file

eric ide

mercurial