E5XML/PluginRepositoryReader.py

changeset 3676
2f62b060a931
parent 3178
f25fc1364c88
child 4021
195a471c327b
equal deleted inserted replaced
3675:aa48d3e9b008 3676:2f62b060a931
48 pluginRepositoryFileFormatVersion) 48 pluginRepositoryFileFormatVersion)
49 if self.version not in self.supportedVersions: 49 if self.version not in self.supportedVersions:
50 self.raiseUnsupportedFormatVersion(self.version) 50 self.raiseUnsupportedFormatVersion(self.version)
51 elif self.name() == "RepositoryUrl": 51 elif self.name() == "RepositoryUrl":
52 url = self.readElementText() 52 url = self.readElementText()
53 Preferences.setUI("PluginRepositoryUrl5", url) 53 Preferences.setUI("PluginRepositoryUrl6", url)
54 elif self.name() == "Plugin": 54 elif self.name() == "Plugin":
55 self.__readPlugin() 55 self.__readPlugin()
56 else: 56 else:
57 self._skipUnknownElement() 57 self._skipUnknownElement()
58 58

eric ide

mercurial