Add checks for the image format from tos_image.xml (problem reported by Jonathan...

[tinyos-2.x.git] / tools / tinyos / misc / tos-build-deluge-image

diff --git a/tools/tinyos/misc/tos-build-deluge-image b/tools/tinyos/misc/tos-build-deluge-image
index c6af4484f55b2973a4b50ea67e35ad1b3daf4ddd..1219fa464c3d9b58341cd9a8519f36efac787479 100755 (executable)
--- a/tools/tinyos/misc/tos-build-deluge-image
+++ b/tools/tinyos/misc/tos-build-deluge-image
@@ -132,7 +132,17 @@ for (k, v) in ident_list:
   ident[k] = v
 for p in ['unix_time', 'user_hash', 'uid_hash']:
   ident[p] = int(ident[p][:-1], 16)
-image = dom.getElementsByTagName('image')[0].firstChild.nodeValue
+
+error = "ERROR: getting the image from the XML file failed."
+try:
+  image_element = dom.getElementsByTagName('image')[0]
+  if image_element.getAttribute('format') != 'ihex':
+    error = "ERROR: image format is %s instead of ihex" % image_element.getAttribute('format')
+    sys.exit()
+  image = image_element.firstChild.nodeValue
+except:
+  sys.stderr.write(error + '\n')
+  sys.exit()
 
 all = []
 section = []