# HG changeset patch
# User Nicholas Jillings <n.g.r.jillings@se14.qmul.ac.uk>
# Date 1501758024 -7200
# Node ID a4fb0d21570adeb732651e401b15af125bddf3dd
# Parent  18784c9f44b57549b947f440eee295f5e31a243b
Fix for #215

diff -r 18784c9f44b5 -r a4fb0d21570a python/score_parser.py
--- 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