@@ -1519,12 +1519,11 @@
  ((args:get-arg "-run")
   (let ((runid (string->number (args:get-arg "-run"))))
     (if runid
 	(begin
 	  (lambda (x)
-	    (on-exit (lambda ()
-		       (if *dbstruct-local* (db:close-all *dbstruct-local*))))
+	    (on-exit std-exit-procedure)
 	    (examine-run *dbstruct-local* runid)))
 	(begin
 	  (print "ERROR: runid is not a number " (args:get-arg "-run"))
 	  (exit 1)))))
  ((args:get-arg "-test") ;; run-id,test-id