Element: channel.done { }

Type

callback

Description

A set of commands to be executed when channel dies or runs out of input data. This element applies only to external process channels, server channels, socket channels and text file channels open for read-only.

On newly opened channels, this element has no value.

When this procedure is executed, the channel identifier is passed to it as its only parameter.

Parameters

channel.done (<channel>)

Examples

chan1.done = {
    args ch=channel
    !Process has finished
}

The callback, if required, may be called explicitly to perhaps simulate the death of an external process. This may be done in one of two ways:

# Assume mychan is the channel identifier.
channel.done(mychan)

or

mychan.done()