diff options
author | dos-reis <gdr@axiomatics.org> | 2008-11-24 02:53:25 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-11-24 02:53:25 +0000 |
commit | 5b693510bb2368f453b71086fcd1916cee7fea82 (patch) | |
tree | 15f3680440bfa6293ceaa341cd73116bffc768d3 /src/interp/metalex.lisp | |
parent | 81dc2af2e2cab54deda566b72949d3d58ee532bf (diff) | |
download | open-axiom-5b693510bb2368f453b71086fcd1916cee7fea82.tar.gz |
* interp/i-output.boot ($RecordSeparator): New.
(maprin): Use it. Separate record in lean mode.
* interp/sys-globals.boot ($leanMode): Define.
* interp/sys-driver.boot (systemMain): Initialize.
* interp/ht-util.boot (executeInterpreterCommand): Print prompt
only in non-lean mode.
* interp/int-top.boot (SpadInterpretStream): Likewise.
(intloopReadConsole): Likewise.
* interp/metalex.lisp (get-a-line): Likewise.
* interp/server.boot: Likewise.
Diffstat (limited to 'src/interp/metalex.lisp')
-rw-r--r-- | src/interp/metalex.lisp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/interp/metalex.lisp b/src/interp/metalex.lisp index 8583158a..2c1dd294 100644 --- a/src/interp/metalex.lisp +++ b/src/interp/metalex.lisp @@ -179,7 +179,8 @@ :adjustable t :initial-contents s)))) (defun get-a-line (stream) - (if (IS-CONSOLE stream) (|printPrompt|)) + (if (and (IS-CONSOLE stream) (not |$leanMode|)) + (|printPrompt|)) (let ((ll (read-a-line stream))) (if (stringp ll) (make-string-adjustable ll) ll))) |