Index

Boolean signaled(name)

Check whether a given signal has been sent by the user.

Mandatory arguments:
Signal name
The name of the signal to be checked for.

Example:
The following example waits for the user to send a quit signal.
 until $signaled(quit)

Context:
The signaling facility is documented in the signal help file.

Martin Shepherd (3-Mar-1999)