changeset 3001:a4fb0d21570a

Fix for #215
author Nicholas Jillings <n.g.r.jillings@se14.qmul.ac.uk>
date Thu, 03 Aug 2017 13:00:24 +0200
parents 18784c9f44b5
children b91945fc6fea
files python/score_parser.py
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/python/score_parser.py	Wed Aug 02 11:43:56 2017 +0100
+++ b/python/score_parser.py	Thu Aug 03 13:00:24 2017 +0200
@@ -64,7 +64,7 @@
             pageConfig = root.find('./waet/page/[@id="'+page_name+'"]')
             for interface in pageConfig.findall('./interface'):    # Get the <interface> noeds
                 interfaceName = interface.get("name"); # Get the axis name
-                if interfaceName == None:
+                if interfaceName == None or interfaceName == "null":
                     interfaceName = "default"   # If name not set, make name 'default'
                 if storage[page_name]['axis'].get(interfaceName) == None:
                     storage[page_name]['axis'][interfaceName] = {}  # If not in store for page, add empty dict