PluginManager/PluginManager.py

changeset 6608
954711fa91d8
parent 6605
6ae78749babc
child 6611
59b262a8e31c
equal deleted inserted replaced
6607:5237edb40b88 6608:954711fa91d8
1297 archive = os.path.join(Preferences.getPluginManager("DownloadPath"), 1297 archive = os.path.join(Preferences.getPluginManager("DownloadPath"),
1298 filename) 1298 filename)
1299 1299
1300 # Check against installed/loaded plug-ins 1300 # Check against installed/loaded plug-ins
1301 pluginDetails = self.getPluginDetails(pluginName) 1301 pluginDetails = self.getPluginDetails(pluginName)
1302 if pluginDetails is None: 1302 if pluginDetails is None or pluginDetails["moduleName"] != pluginName:
1303 if not Preferences.getPluginManager("CheckInstalledOnly"): 1303 if not Preferences.getPluginManager("CheckInstalledOnly"):
1304 self.__updateAvailable = True 1304 self.__updateAvailable = True
1305 return 1305 return
1306 1306
1307 versionTuple = Globals.versionToTuple(version)[:3] 1307 versionTuple = Globals.versionToTuple(version)[:3]

eric ide

mercurial