ServerEvent:
TYPE =
RECORD [
type: ServerEventType,
-- type of event
the next five fields only have meaning for startService and doneService
command: Rope.ROPE, -- command name started
startTime: BasicTime.GMT, -- command start time
endTime: BasicTime.GMT, -- command end time (meaningful for done events only)
remoteMachineName: Rope.ROPE, -- name of user's machine
remoteUser: Rope.ROPE, -- name of user
chain: REF ServerEvent -- used internally to chain events together
];