record_mode

This variable indicates that a record / replay operation is running, and can be set to 0 for aborting record / replay.

0 - Record / replay operation terminated.
1 - User input is recorded.
2 - User input is replayed.

var

sys_replay("record.rec");
while(2 == record_mode) { wait(1); }
error("Replay terminated!");