flush

Имя

Синтаксис

Описание

ChannelId должен быть идентификатором открытого канала, например, стандартного канала Tcl (stdout или stderr), значением, возвращённым из вызова open или socket, или результатом команды создания канала, предоставленной расширением Tcl. Канал должен быть открыт для записи.

Если канал находится в режиме блокировки, команда не возвращает значение, пока весь буферизованный вывод не будет очищен в канале. Если канал находится в режиме без блокировки, команда может вернуть значение до того, как весь буферизованный вывод будет очищен; оставшийся вывод будет очищен в фоновом режиме как можно быстрее, насколько это позволяет основному файлу или устройству поглощать его.

Пример

puts -nonewline "Please type your name: "
flush stdout
gets stdin name
puts "Hello there, $name!"

См. также