PACKET operator manager                          (* Autor: Thomas Berlage *)
                                                 (* Stand: 14.01.88       *)
  DEFINES

  operator manager,
  continue :


LET
  only privileged =
    "Nur für Systemtasks zugelassen";


PROC operator manager (DATASPACE VAR ds, INT CONST order, phase,
                       TASK CONST order task) :

  enable stop;
  IF order task = supervisor OR order task < supervisor THEN
    menue manager (ds, order, phase, order task)
  ELSE
    errorstop (only privileged)
  END IF

END PROC operator manager;

PROC continue (TASK CONST t) :

  continue (t,
    PROC (DATASPACE VAR, INT CONST, INT CONST, TASK CONST) operator manager)

END PROC continue;

END PACKET operator manager;