SVGHMI: update generated XSLT
authorEdouard Tisserant
Tue, 08 Nov 2022 11:03:45 +0100
changeset 3663 31aaec736e4d
parent 3662 364f2409eeda
child 3664 7e8db0b44e42
SVGHMI: update generated XSLT
svghmi/gen_index_xhtml.xslt
--- a/svghmi/gen_index_xhtml.xslt	Tue Nov 08 11:02:35 2022 +0100
+++ b/svghmi/gen_index_xhtml.xslt	Tue Nov 08 11:03:45 2022 +0100
@@ -12514,12 +12514,6 @@
 </xsl:text>
           <xsl:text>
 </xsl:text>
-          <xsl:text>    // forget subscriptions remotely
-</xsl:text>
-          <xsl:text>    send_reset();
-</xsl:text>
-          <xsl:text>
-</xsl:text>
           <xsl:text>    // forget earlier subscriptions locally
 </xsl:text>
           <xsl:text>    reset_subscription_periods();