downloadkit/downloadkit.py
changeset 197 04b0678959bf
parent 196 32417d4f42da
child 198 90e6dc719131
--- a/downloadkit/downloadkit.py	Sat Mar 13 18:50:17 2010 +0000
+++ b/downloadkit/downloadkit.py	Sat Mar 13 18:56:12 2010 +0000
@@ -26,7 +26,7 @@
 import hashlib
 import xml.etree.ElementTree as ET 
 
-version = '0.13'
+version = '0.14'
 user_agent = 'downloadkit.py script v' + version
 headers = { 'User-Agent' : user_agent }
 top_level_url = "https://developer.symbian.org"
@@ -405,8 +405,8 @@
 	soup=BeautifulSoup(doc)
 
 	# check that this is the right version
-	match = re.search('Platform Release v(\d\.\d\.[0-9a-z]+)', doc, re.IGNORECASE)
-	if match and match.group(1) != version:
+	match = re.search('Platform Release (\(Public\) )?v(\d\.\d\.[0-9a-z]+)', doc, re.IGNORECASE)
+	if match and match.group(2) != version:
 		print "*** ERROR: version %s is not available" % version
 		print "*** the website is offering version %s instead" % match.group(1)
 		return 0