diff -r a9a4620f6767 -r beb60b9b3d8d E5XML/PluginRepositoryReader.py
--- 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)
