[Turn off line numbering]
1: arg signal;
2: var line;
3:
4: // the driver will send the following signals:
5: // HUP -- driver will drop out of atomic mode and will flush i/o
6: // USR2 -- driver does nothing
7: // USR1 -- driver aborts all currently executing tasks, not suggested
8: // QUIT -- For both of these the driver will shutdown after current
9: // INT tasks finish their current execution frame. Note: do not
10: // preempt tasks at this point as they will not resume.
11: line = "** Received Signal: " + signal + " **";
12: (| $channel_ui._broadcast('System, line) |);
13: if (signal in ['QUIT, 'INT]) {
14: (| $channel_ui._broadcast('all, "******************************") |);
15: (| $channel_ui._broadcast('all, "** IMMINENT SERVER SHUTDOWN **") |);
16: (| $channel_ui._broadcast('all, "******************************") |);
17: }
["// Created 26-Mar-1995 as a part of ColdCore, see: @help Credit"]