(DEFINE-FILE-INFO READTABLE "XCL" PACKAGE "INTERLISP")
(FILECREATED "13-Sep-88 13:12:13" {PHYLUM}<LISP>LYRIC>PATCHES>SETTIME-PATCH.\;1 1126   

      |changes| |to:|  (VARS SETTIME-PATCHCOMS)
                       (FNS ENSURE.TIME.SET))


; Copyright (c) 1988 by Xerox Corporation.  All rights reserved.

(PRETTYCOMPRINT SETTIME-PATCHCOMS)

(RPAQQ SETTIME-PATCHCOMS ((FNS ENSURE.TIME.SET)
                          (ADDVARS (AROUNDEXITFNS ENSURE.TIME.SET))))
(DEFINEQ

(ENSURE.TIME.SET
  (LAMBDA (EVENT)                                            (* \; "Edited 13-Sep-88 13:05 by bbb")
    (|if| (MEMB EVENT '(AFTERLOGOUT AFTERSYSOUT AFTERMAKESYS AFTERSAVEVM))
        |then| (|while| (IGREATERP (IDATE MAKESYSDATE)
                               (IDATE)) |do| (ERROR "Time is not set! Call" 
                                                   "(SETTIME \"dd-mmm-yy hh:mm:ss\") and type RETURN"
                                                    )))))
)

(ADDTOVAR AROUNDEXITFNS ENSURE.TIME.SET)
(PUTPROPS SETTIME-PATCH COPYRIGHT ("Xerox Corporation" 1988))
(DECLARE\: DONTCOPY
  (FILEMAP (NIL (472 995 (ENSURE.TIME.SET 482 . 993)))))
STOP