@@ -325,17 +325,18 @@ (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)