PluginManager/PluginManager.py

changeset 5395
56efc13e456e
parent 5389
9b1c800daff3
child 5555
5ece4e830780
equal deleted inserted replaced
5394:b2c6179184f6 5395:56efc13e456e
1255 return 1255 return
1256 1256
1257 if version.count(".") >= 3: 1257 if version.count(".") >= 3:
1258 # cope for extended version numbers by ignoring 1258 # cope for extended version numbers by ignoring
1259 # the extension 1259 # the extension
1260 checkVersion = ".".join(version.split(".",3)[:3]) 1260 checkVersion = ".".join(version.split(".", 3)[:3])
1261 else: 1261 else:
1262 checkVersion = version 1262 checkVersion = version
1263 if pluginDetails["version"] < checkVersion: 1263 if pluginDetails["version"] < checkVersion:
1264 self.__updateAvailable = True 1264 self.__updateAvailable = True
1265 return 1265 return

eric ide

mercurial