--- a/svghmi/gen_index_xhtml.xslt Tue Mar 16 14:18:39 2021 +0100
+++ b/svghmi/gen_index_xhtml.xslt Tue Mar 16 14:19:22 2021 +0100
@@ -7517,7 +7517,7 @@
</xsl:text>
<xsl:text>function apply_hmi_value(index, new_val) {
</xsl:text>
- <xsl:text> let old_val = cache[index]
+ <xsl:text> let old_val = cache[index];
</xsl:text>
<xsl:text> if(new_val != undefined && old_val != new_val)
</xsl:text>
--- a/svghmi/svghmi.js Tue Mar 16 14:18:39 2021 +0100
+++ b/svghmi/svghmi.js Tue Mar 16 14:19:22 2021 +0100
@@ -313,7 +313,7 @@
};
function apply_hmi_value(index, new_val) {
- let old_val = cache[index]
+ let old_val = cache[index];
if(new_val != undefined && old_val != new_val)
send_hmi_value(index, new_val);
return new_val;