PluginManager/PluginManager.py

changeset 5384
22c15d7e2cad
parent 5236
9487d3fbb71e
child 5389
9b1c800daff3
equal deleted inserted replaced
5383:4bf49e0840f3 5384:22c15d7e2cad
1252 if pluginDetails is None: 1252 if pluginDetails is None:
1253 if not Preferences.getPluginManager("CheckInstalledOnly"): 1253 if not Preferences.getPluginManager("CheckInstalledOnly"):
1254 self.__updateAvailable = True 1254 self.__updateAvailable = True
1255 return 1255 return
1256 1256
1257 if pluginDetails["version"] < version: 1257 if version.count(".") >= 3:
1258 # cope for extended version numbers by ignoring
1259 # the extension
1260 checkVersion = ".".join(version.split(".",3)[:3])
1261 else:
1262 checkVersion = version
1263 if pluginDetails["version"] < checkVersion:
1258 self.__updateAvailable = True 1264 self.__updateAvailable = True
1259 return 1265 return
1260 1266
1261 if not Preferences.getPluginManager("CheckInstalledOnly"): 1267 if not Preferences.getPluginManager("CheckInstalledOnly"):
1262 # Check against downloaded plugin archives 1268 # Check against downloaded plugin archives

eric ide

mercurial