SET TIMEOUT

Syntax

SET TIMEOUT time

The SET TIMEOUT sets a timeout amount for the FILEPATH options PORT and CONNECTOR in the command SET INPUT.

Comments

By default, the time is set to zero.

For historical reasons, the value of time must be specified in tenths of a second, that is, for 5.5 seconds, it should say 55.

When opening a document for input with SET INPUT with above options, any subsequent statements referring the specified document will terminate if not satisfied within the time interval specified by time.

Example

set timeout 55
set input stdin filepath "connector://localhost:2333"
list 10 stdin

If the LIST statement is not satisfied within 5.5 seconds, the LIST is terminated.