E5XML/PluginRepositoryReader.py

changeset 590
beb60b9b3d8d
parent 589
a9a4620f6767
child 791
9ec2ac20e54e
--- a/E5XML/PluginRepositoryReader.py	Sat Sep 11 19:00:54 2010 +0200
+++ b/E5XML/PluginRepositoryReader.py	Sat Sep 11 19:26:32 2010 +0200
@@ -16,6 +16,8 @@
     """
     Class to read the plug-in repository contents file.
     """
+    supportedVersions = ["4.1", "4.2"]
+    
     def __init__(self, device, dlg):
         """
         Constructor
@@ -39,6 +41,8 @@
                 if self.name() == "Plugins":
                     self.version = self.attribute("version", 
                         pluginRepositoryFileFormatVersion)
+                    if self.version not in self.supportedVersions:
+                        self.raiseUnsupportedFormatVersion(self.version)
                 elif self.name() == "RepositoryUrl":
                     url = self.readElementText()
                     Preferences.setUI("PluginRepositoryUrl5", url)

eric ide

mercurial