323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
|
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
|
-
-
-
-
-
-
-
+
+
+
+
+
+
+
+
|
(thread-start! *watchdog*)
(define (std-exit-procedure)
(rmt:print-db-stats)
(let ((run-ids (hash-table-keys *db-local-sync*)))
(if (not (null? run-ids))
(db:multi-db-sync run-ids 'new2old)))
(if *dbstruct-db* (db:close-all *dbstruct-db*))
(if *megatest-db* (begin
(sqlite3:interrupt! *megatest-db*)
(sqlite3:finalize! *megatest-db* #t)))
(if *task-db* (let ((db (vector-ref *task-db* 0)))
(sqlite3:interrupt! db)
(sqlite3:finalize! db #t))))
;; (if *dbstruct-db* (db:close-all *dbstruct-db*))
;; (if *megatest-db* (begin
;; (sqlite3:interrupt! *megatest-db*)
;; (sqlite3:finalize! *megatest-db* #t)))
;; (if *task-db* (let ((db (vector-ref *task-db* 0)))
;; (sqlite3:interrupt! db)
;; (sqlite3:finalize! db #t))))
)
(define (std-signal-handler signum)
(signal-mask! signum)
(debug:print 0 "ERROR: Received signal " signum " exiting promptly")
(std-exit-procedure)
(exit))
|