# HG changeset patch
# User Nicholas Jillings <nicholas.jillings@mail.bcu.ac.uk>
# Date 1479395066 0
# Node ID 15b42e98b06c96af9b5424a8c2996daac66843c9
# Parent  c5fd47349a4f2114221dbde0e6dd5df84523504f
Added extra null-string check for <interface> name attribute

diff -r c5fd47349a4f -r 15b42e98b06c js/specification.js
--- a/js/specification.js	Mon Nov 14 20:34:58 2016 +0000
+++ b/js/specification.js	Thu Nov 17 15:04:26 2016 +0000
@@ -397,7 +397,7 @@
 
         this.encode = function (doc) {
             var node = doc.createElement("interface");
-            if (typeof name == "string")
+            if (typeof name == "string" && name.length > 0)
                 node.setAttribute("name", this.name);
             if (typeof this.title == "string") {
                 var titleNode = doc.createElement("title");