@@ -937,11 +937,11 @@
 
   0)
 
 (define (std-signal-handler signum)
   ;; (signal-mask! signum)
-  (set! *time-to-exit* #t)
+  (set! *time-to-exit* #t) 
   ;;(debug:print-info 13 *default-log-port* "got signal "signum)
   (debug:print-error 0 *default-log-port* "Received signal " signum " aaa exiting promptly")
   ;; (std-exit-procedure) ;; shouldn't need this since we are exiting and it will be called anyway
   (exit))