RPC: Private interface between runtime and PupWatch
RPCWatch.mesa
Andrew Birrell September 7, 1983 3:28 pm
DIRECTORY
BufferDefs USING[ PupBuffer ];
RPCWatch: CEDAR DEFINITIONS =
BEGIN
SetSpyProc:
PROC[p:
PROC[BufferDefs.PupBuffer]];
If p#NIL, p will be called with each buffer passed to RPCPrivate.EnqueueRecvd. Calling this with p=NIL disables it.
END.