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();