E5XML/PluginRepositoryReader.py

changeset 3022
57179e4cdadd
parent 2302
f29e9405c851
child 3035
36e9f388958b
child 3058
0a02c433f52d
equal deleted inserted replaced
3021:801289962f4e 3022:57179e4cdadd
38 """ 38 """
39 while not self.atEnd(): 39 while not self.atEnd():
40 self.readNext() 40 self.readNext()
41 if self.isStartElement(): 41 if self.isStartElement():
42 if self.name() == "Plugins": 42 if self.name() == "Plugins":
43 self.version = self.attribute("version", 43 self.version = self.attribute(
44 "version",
44 pluginRepositoryFileFormatVersion) 45 pluginRepositoryFileFormatVersion)
45 if self.version not in self.supportedVersions: 46 if self.version not in self.supportedVersions:
46 self.raiseUnsupportedFormatVersion(self.version) 47 self.raiseUnsupportedFormatVersion(self.version)
47 elif self.name() == "RepositoryUrl": 48 elif self.name() == "RepositoryUrl":
48 url = self.readElementText() 49 url = self.readElementText()

eric ide

mercurial