588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
|
$data]
}
}
}
#
# NOTE: If there is a currently scheduled [after] event, cancel it.
#
cancelPageProgress
#
# NOTE: If progress messages were emitted, start a fresh line.
#
if {!$quiet} then {
pageOut $channel [appendArgs " " $uri \n]
}
|
>
>
>
>
|
>
|
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
}
#
# NOTE: If progress messages were emitted, start a fresh line.
#
if {!$quiet} then {
pageOut $channel [appendArgs " " $uri \n]
}
|