diff options
author | dos-reis <gdr@axiomatics.org> | 2011-07-03 16:53:30 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-07-03 16:53:30 +0000 |
commit | 67a9b503724a4390abf08baa367959713483f363 (patch) | |
tree | 6380b619a86bb58768d8bb3e37387acd808ed6f6 /src/interp/server.boot | |
parent | cd75300236a7e0bd4b2ba0818721deb92c522aa7 (diff) | |
download | open-axiom-67a9b503724a4390abf08baa367959713483f363.tar.gz |
* boot/tokens.boot: flushOutput, writeNewline, writeString
are new builtin library functions.
* boot/utility.boot (finishLine): New exported function.
* interp/i-output.boot (formulaFormat): Use it.
(texFormat): Likewise.
(texFormat1): Likewise.
(mathmlFormat): Likewise.
(output): Remove case for TextWriter.
Diffstat (limited to 'src/interp/server.boot')
-rw-r--r-- | src/interp/server.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/server.boot b/src/interp/server.boot index 6455f880..3b0daff5 100644 --- a/src/interp/server.boot +++ b/src/interp/server.boot @@ -48,7 +48,7 @@ $sockBufferLength := 9217 serverReadLine(stream) == -- used in place of READ-LINE in a scratchpad server system. - FORCE_-OUTPUT() + flushOutput() not $SpadServer or not IS_-CONSOLE stream => line := readLine stream line ~= %nothing => line |