E5XML/PluginRepositoryReader.py

changeset 589
a9a4620f6767
parent 582
6b19bd357000
child 590
beb60b9b3d8d
--- a/E5XML/PluginRepositoryReader.py	Sat Sep 11 19:00:10 2010 +0200
+++ b/E5XML/PluginRepositoryReader.py	Sat Sep 11 19:00:54 2010 +0200
@@ -44,6 +44,8 @@
                     Preferences.setUI("PluginRepositoryUrl5", url)
                 elif self.name() == "Plugin":
                     self.__readPlugin()
+                else:
+                    self._skipUnknownElement()
         
         self.showErrorMessage()
     
@@ -87,3 +89,5 @@
                     pluginInfo["version"] = self.readElementText()
                 elif self.name() == "Filename":
                     pluginInfo["filename"] = self.readElementText()
+                else:
+                    self.raiseUnexpectedStartTag(self.name())

eric ide

mercurial