DEFINITION MODULE KermServ;
(************************************************************************)
(* Handle server mode                                                   *)
(* written:            14.12.85     Matthias Aebi                       *)
(* last modification:  25.02.85     Matthias Aebi                       *)
(************************************************************************)

EXPORT QUALIFIED Server;

PROCEDURE Server(): BOOLEAN;
(* enter server mode and handle requests. Return TRUE after a LOGOUT command,
   FALSE in any other case *)

END KermServ.

.
