author | Edouard Tisserant |
Tue, 08 Nov 2022 11:03:45 +0100 | |
changeset 3663 | 31aaec736e4d |
parent 3662 | 364f2409eeda |
child 3664 | 7e8db0b44e42 |
--- 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();