680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
|
(if (not *time-to-exit*) (loop))))
(if (common:low-noise-print 30)
(debug:print-info 0 *default-log-port* "Exiting watchdog timer, *time-to-exit* = " *time-to-exit*" pid="(current-process-id)" this-wd-num="this-wd-num)))))))
;; TODO: for multiple areas, we will have multiple watchdogs; and multiple threads to manage
(define (common:watchdog)
(let ((dbstruct (db:setup)))
(if (dbstruct-readonly dbstruct)
(common:readonly-watchdog dbstruct)
(common:writable-watchdog dbstruct))))
(define (std-exit-procedure)
(on-exit (lambda () 0))
;;(BB> "std-exit-procedure called; *time-to-exit*="*time-to-exit*)
|
|
|
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
|
(if (not *time-to-exit*) (loop))))
(if (common:low-noise-print 30)
(debug:print-info 0 *default-log-port* "Exiting watchdog timer, *time-to-exit* = " *time-to-exit*" pid="(current-process-id)" this-wd-num="this-wd-num)))))))
;; TODO: for multiple areas, we will have multiple watchdogs; and multiple threads to manage
(define (common:watchdog)
(let ((dbstruct (db:setup)))
(if (dbr:dbstruct-read-only dbstruct)
(common:readonly-watchdog dbstruct)
(common:writable-watchdog dbstruct))))
(define (std-exit-procedure)
(on-exit (lambda () 0))
;;(BB> "std-exit-procedure called; *time-to-exit*="*time-to-exit*)
|