svghmi/gen_index_xhtml.xslt
branchwxPython4
changeset 3665 db7e4952b64f
parent 3657 e0d6f5f0dcc2
parent 3663 31aaec736e4d
child 3688 c2992796a859
equal deleted inserted replaced
3660:0e41dbe6ddcd 3665:db7e4952b64f
 12512 </xsl:text>
 12512 </xsl:text>
 12513           <xsl:text>    }
 12513           <xsl:text>    }
 12514 </xsl:text>
 12514 </xsl:text>
 12515           <xsl:text>
 12515           <xsl:text>
 12516 </xsl:text>
 12516 </xsl:text>
 12517           <xsl:text>    // forget subscriptions remotely
       
 12518 </xsl:text>
       
 12519           <xsl:text>    send_reset();
       
 12520 </xsl:text>
       
 12521           <xsl:text>
       
 12522 </xsl:text>
       
 12523           <xsl:text>    // forget earlier subscriptions locally
 12517           <xsl:text>    // forget earlier subscriptions locally
 12524 </xsl:text>
 12518 </xsl:text>
 12525           <xsl:text>    reset_subscription_periods();
 12519           <xsl:text>    reset_subscription_periods();
 12526 </xsl:text>
 12520 </xsl:text>
 12527           <xsl:text>
 12521           <xsl:text>