Diff
Not logged in

Differences From Artifact [e7d2163051]:

To Artifact [e316f32d33]:


590
591
592
593
594



595

596


597
598
599
600
601
590
591
592
593
594
595
596
597
598
599

600
601
602
603
604
605
606





+
+
+

+
-
+
+





      } 
    } 
 
    # 
    # NOTE: If there is a currently scheduled [after] event, cancel it. 
    #       This is NOT done if the caller enabled quiet mode, because 
    #       there should be none of our [after] events present in that 
    #       case. 
    # 
    if {!$quiet} then { 
    cancelPageProgress 
      cancelPageProgress 
    } 
 
    # 
    # NOTE: If progress messages were emitted, start a fresh line. 
    # 
    if {!$quiet} then {