PluginManager/PluginManager.py

changeset 6611
59b262a8e31c
parent 6608
954711fa91d8
child 6629
643ec3a53d17
--- 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