# HG changeset patch
# User Edouard Tisserant
# Date 1615900762 -3600
# Node ID 80dd371e15bb8cb6d771234bf6348c3cb689b3df
# Parent  0733114a2090aa44b4c1849f19c1fdecd7aa3922
SVGHMI: cosmetic change, missing semicolon

diff -r 0733114a2090 -r 80dd371e15bb svghmi/gen_index_xhtml.xslt
--- 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 &amp;&amp; old_val != new_val)
 </xsl:text>
diff -r 0733114a2090 -r 80dd371e15bb svghmi/svghmi.js
--- 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;