<> <> <> <> <<>> <> <<1) Terminate world with a user message. E.g. On start-up failure.>> <<2) Callback on termination. E.g. To return system resources claimed by start up.>> DIRECTORY Rope USING [ROPE]; Termination: CEDAR DEFINITIONS ~ BEGIN QuitWorld: PROC [userMsg: Rope.ROPE ¬ NIL, interceptable: BOOL ¬ FALSE]; <> quitWorld: ERROR [msg: Rope.ROPE]; CallBeforeQuitWorld: PROC [proc: PROC[REF], data: REF ¬ NIL]; <> SetDebuggingMode: PROC []; <> debuggingMode: READONLY BOOL; END.