svghmi/gen_index_xhtml.xslt
branchwxPython4
changeset 3665 db7e4952b64f
parent 3657 e0d6f5f0dcc2
parent 3663 31aaec736e4d
child 3688 c2992796a859
--- a/svghmi/gen_index_xhtml.xslt	Fri Nov 04 22:14:14 2022 +0100
+++ b/svghmi/gen_index_xhtml.xslt	Wed Nov 09 12:30: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();