Megatest

Diff
Login

Differences From Artifact [b95fddce4b]:

To Artifact [95c83df933]:


323
324
325
326
327
328
329
330
331
332
333
334
335
336

337
338
339
340
341
342
343
(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))))


(define (std-signal-handler signum)
  (signal-mask! signum)
  (debug:print 0 "ERROR: Received signal " signum " exiting promptly")
  (std-exit-procedure)
  (exit))








|
|
|
|
|
|
|
>







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))))
  )

(define (std-signal-handler signum)
  (signal-mask! signum)
  (debug:print 0 "ERROR: Received signal " signum " exiting promptly")
  (std-exit-procedure)
  (exit))