Diff
Not logged in

Differences From Artifact [e7d2163051]:

To Artifact [e316f32d33]:


588
589
590
591
592
593
594



595

596


597
598
599
600
601
602
603
588
589
590
591
592
593
594
595
596
597
598
599

600
601
602
603
604
605
606
607
608







+
+
+

+
-
+
+







              $data]
        }
      }
    }

    #
    # 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 {
      pageOut $channel [appendArgs " " $uri \n]
    }