# HG changeset patch
# User Nicholas Jillings <n.g.r.jillings@se14.qmul.ac.uk>
# Date 1492879728 -3600
# Node ID a4bcbcda23f73cc51925a208fedd9d46714e432e
# Parent  28bc4e90e0262233c5f695c7456a57d046892153
#133 Added to specification.js (encoder)

diff -r 28bc4e90e026 -r a4bcbcda23f7 js/specification.js
--- a/js/specification.js	Sat Apr 22 17:47:09 2017 +0100
+++ b/js/specification.js	Sat Apr 22 17:48:48 2017 +0100
@@ -479,6 +479,11 @@
                 var child = doc.createElement("interfaceoption");
                 child.setAttribute("type", option.type);
                 child.setAttribute("name", option.name);
+                if (option.type == "check" && option.errorMessage !== undefined) {
+                    var errorMessage = doc.createElement("errormessage");
+                    errorMessage.textContent = option.errorMessage;
+                    child.appendChild(errorMessage);
+                }
                 node.appendChild(child);
             });
             if (typeof this.image == "string" && this.image.length !== 0) {