DEFINITION MODULE KermFini; (************************************************************************) (* Shut down remote server *) (* written: 14.12.85 Matthias Aebi *) (* last modification: 14.12.85 Matthias Aebi *) (************************************************************************) EXPORT QUALIFIED Finish; PROCEDURE Finish(command: CHAR); (* shut down remote server *) END KermFini.