changeset 2550:15b42e98b06c

Added extra null-string check for <interface> name attribute
author Nicholas Jillings <nicholas.jillings@mail.bcu.ac.uk>
date Thu, 17 Nov 2016 15:04:26 +0000
parents c5fd47349a4f
children d1369c301a54 a3bcb8b9667d 13a0b65143a6
files js/specification.js
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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");