comparison js/specification.js @ 2550:15b42e98b06c

Added extra null-string check for <interface> name attribute

             }
         };
 
         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");
                 titleNode.textContent = this.title;
                 node.appendChild(titleNode);