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.
