ProcessComInterrupt

This structure realizes interruption of command execution by an interrupt signal (^C).

Signature of ProcessComInterrupt

List of Import References :
See BOOL
See Com
See DENOTATION
See Nat
See Option
See Seq
See Void

SIGNATURE ProcessComInterrupt[data]

$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)

SORT data

IMPORT  Com[data]       ONLY com:SORT ans:SORT

breakOnInterrupt(Com) executes the given command. If during execution an interrupt occures, the currently executing atomic command will fail with an answer which can be checked for with interrupted?. breakOnInterrupt may be nested.

 

FUN breakOnInterrupt : com[data] -> com[data]

FUN interrupted? : ans[data] -> bool

Note that this structure bases on ProcessInterrupt. Henceforth, any interrupt signals will be ignored unless embedded in breakOnInterrupt.

next node: TimeConv,
prev node: File,
up to node: Subsystem Unix