# HG changeset patch # User Edouard Tisserant # Date 1667901825 -3600 # Node ID 31aaec736e4d04784601dd885c1891a949827884 # Parent 364f2409eeda569cffaa4ce4c93987048683c4bd SVGHMI: update generated XSLT diff -r 364f2409eeda -r 31aaec736e4d 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();