
{
{    SIGNAL HANDLERS - GENERAL:
{
{      For each signal, corresponding to signal_id, a signal handler
{      must be known to the signal router.
{
{      When a signal is "received" by a task, the appropriate signal
{      handler is called by the signal router - non-NOS/VE code is
{      preempted by the signal handler.  It is the responsibility of
{      signal handler to perform the actions specified by the signal.
{      The specifics (structure) of a signal beyond pmt$signal are
{      transparent to the signal mechanism.
{
{      The general form of the interface to a signal handler is the
{      same for all signal_id's.
{
{
{      EXAMPLE:
{
{   The purpose of this signal handler is to process signals whose
{ signal_id's are ppC$xxx, ...
{
{       ppP$handle_signal_xxx (ORIGINATOR, SIGNAL)
{
{ ORIGINATOR: (input) This parameter specifies the sender of the signal.
{
{ SIGNAL: (input) This parameter specifies the received signal.
{

  PROCEDURE [XREF] ppP$handle_signal_xxx (orginator: ost$global_task_id;
    signal: pmt$signal);

?? PUSH (LISTEXT := ON) ??
*copyc OST$GLOBAL_TASK_ID
*copyc PMT$SIGNAL
?? POP ??
