ServerEvent:
TYPE =
RECORD [
type: ServerEventType, -- type of event
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
chain: REF ServerEvent -- used internally to chain events together
];