svghmi/gen_index_xhtml.xslt
changeset 3663 31aaec736e4d
parent 3656 efbc86949467
child 3665 db7e4952b64f
child 3684 2239f8e3de48
--- 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();