| changeset 3663 | 31aaec736e4d |
| parent 3656 | efbc86949467 |
| child 3665 | db7e4952b64f |
| child 3684 | 2239f8e3de48 |
| 3662:364f2409eeda | 3663:31aaec736e4d |
|---|---|
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> |