PluginManager/PluginManager.py

changeset 6608
954711fa91d8
parent 6605
6ae78749babc
child 6611
59b262a8e31c
--- a/PluginManager/PluginManager.py	Sat Dec 08 16:30:16 2018 +0100
+++ b/PluginManager/PluginManager.py	Sat Dec 08 16:42:44 2018 +0100
@@ -1299,7 +1299,7 @@
         
         # Check against installed/loaded plug-ins
         pluginDetails = self.getPluginDetails(pluginName)
-        if pluginDetails is None:
+        if pluginDetails is None or pluginDetails["moduleName"] != pluginName:
             if not Preferences.getPluginManager("CheckInstalledOnly"):
                 self.__updateAvailable = True
             return

eric ide

mercurial