PluginManager/PluginRepositoryDialog.py

changeset 5395
56efc13e456e
parent 5389
9b1c800daff3
child 5588
6ba512d9f46a
equal deleted inserted replaced
5394:b2c6179184f6 5395:56efc13e456e
646 if pluginDetails is None: 646 if pluginDetails is None:
647 return PluginRepositoryWidget.PluginStatusLocalUpdate 647 return PluginRepositoryWidget.PluginStatusLocalUpdate
648 if version.count(".") >= 3: 648 if version.count(".") >= 3:
649 # cope for extended version numbers by ignoring 649 # cope for extended version numbers by ignoring
650 # the extension 650 # the extension
651 version = ".".join(version.split(".",3)[:3]) 651 version = ".".join(version.split(".", 3)[:3])
652 if pluginDetails["version"] < version: 652 if pluginDetails["version"] < version:
653 return PluginRepositoryWidget.PluginStatusLocalUpdate 653 return PluginRepositoryWidget.PluginStatusLocalUpdate
654 654
655 return PluginRepositoryWidget.PluginStatusUpToDate 655 return PluginRepositoryWidget.PluginStatusUpToDate
656 else: 656 else:

eric ide

mercurial