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)