-- RPC: Private interface between runtime and PupWatch

-- [Ivy]<Birrell>RPCWatch.mesa

-- Andrew Birrell  May 26, 1982 1:00 pm

DIRECTORY
BufferDefs	USING[ PupBuffer ];

RPCWatch: 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.