Method code for $sys.signal()

[Turn on line numbering]
arg signal;
var line;

// the driver will send the following signals:
//   HUP  -- driver will drop out of atomic mode and will flush i/o
//   USR2 -- driver does nothing
//   USR1 -- driver aborts all currently executing tasks, not suggested
//   QUIT -- For both of these the driver will shutdown after current
//   INT     tasks finish their current execution frame.  Note: do not
//           preempt tasks at this point as they will not resume.
line = "** Received Signal: " + signal + " **";
(| $channel_ui._broadcast('System, line) |);
if (signal in ['QUIT, 'INT]) {
    (| $channel_ui._broadcast('all, "******************************") |);
    (| $channel_ui._broadcast('all, "** IMMINENT SERVER SHUTDOWN **") |);
    (| $channel_ui._broadcast('all, "******************************") |);
}

["// Created 26-Mar-1995 as a part of ColdCore, see: @help Credit"]

the Cold Dark