branch | svghmi |
changeset 3190 | 80dd371e15bb |
parent 3189 | 0733114a2090 |
child 3191 | 26b7c4aa7b38 |
--- 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>