

DIRECTORY
Commander USING [CommandProc, Register],
Idle USING [ IsIdle ],
IO,
RuntimeError USING [ UNCAUGHT ],
UserCredentials USING [ Login ]
;


WKLoginImpl: CEDAR PROGRAM
IMPORTS Commander, Idle, IO, RuntimeError, UserCredentials ~ {

disableIdleReqt: BOOL_FALSE;

LoginCmd: Commander.CommandProc = {
StartInteraction: PROC RETURNS[in, out: IO.STREAM] = { RETURN[cmd.in, cmd.err]; };
EndInteraction: PROC[in, out: IO.STREAM] = { NULL };
IF ~disableIdleReqt AND ~Idle.IsIdle[] THEN RETURN[$Failed, "** Can't change credentials when machine is not idle. **"];
UserCredentials.Login[startInteraction: StartInteraction, endInteraction: EndInteraction,
options: [alwaysInteract: TRUE]];
};

Commander.Register["WKLogin", LoginCmd, "Really log in on this machine.  Valid only when machine is idle."];

}.
   Æ  WKLoginImpl.mesa
Copyright Ó 1990 by Xerox Corporation.  All rights reserved.
Swinehart, August 6, 1990 6:06:49 pm PDT
[cmd: Commander.Handle] RETURNS [result: REF ANY _ NIL, msg: ROPE _ NIL]
Ê™  •NewlineDelimiter
–"cedar" style˜ code™Kšœ<™<K™(—K˜ šÏk	˜	Kšœ
œ˜(Kšœœ˜Kšœ˜Kšœœœ˜ Kšœœ
˜K˜K˜ —K˜ šÐlnœœ˜KšœÏtÐktŸœŸœ˜>K˜ Kšœœœ˜K•StartOfExpansionL -- [cmd: Commander.Handle] RETURNS [result: REF ANY _ NIL, msg: ROPE _ NIL]˜ –L -- [cmd: Commander.Handle] RETURNS [result: REF ANY _ NIL, msg: ROPE _ NIL]šÏnœ˜#Kšœœ
œœœœœ™HKš
¡œœœ
	œœ˜RKš¡œœ
	œœ˜4KšœœœœF˜xšœY˜YKšœœ˜!—K˜K˜ —K–x[key: ROPE, proc: Commander.CommandProc, doc: ROPE _ NIL, clientData: REF ANY _ NIL, interpreted: BOOL _ TRUE]˜l—K˜ Kšœ˜— …—    $  ƒ  