Undo commit 93d3d5c so that "out of memory" need not be The End...

...even in batch-mode.  The effect of 93d3d5c can be had more
elegantly, as pointed out in 6b3f8e0: "Always wrap stdin in a (begin
...)..."

diff --git a/src/runtime/gc.scm b/src/runtime/gc.scm
index 0080f91a0b3457d33e204e0711f5b02dc04b7496..d4a503878dedb3dbfc059dfe4380e7abb1be37f0 100644 (file)
--- a/src/runtime/gc.scm
+++ b/src/runtime/gc.scm
@@ -159,13 +159,9 @@ USA.
            (cmdl-message/strings "Aborting!: out of memory")
            ;; Clean up whatever possible to avoid a reoccurrence.
            (cmdl-message/active
-            (if (nearest-cmdl/batch-mode?)
-                (lambda (port)
-                  (newline port)
-                  (%exit 1))
-                (lambda (port)
-                  port
-                  (with-gc-notification! #t gc-clean))))))))
+            (lambda (port)
+              port
+              (with-gc-notification! #t gc-clean)))))))
   ((ucode-primitive request-interrupts! 1) interrupt-bit/after-gc)
   (hook/gc-finish start-value space-remaining))