Ticket #46 (closed defect: fixed)
Don't echo the input when stdin is not a terminal.
|Reported by:||judah||Owned by:|
Currently if stdin is not a terminal, getInputLine will print both prompt and the input line. It looks like the right thing to do is not to echo the input line (for example, it gives wrong results in emacs' M-x shell.
We definitely should still echo the prompt, though; a program can always manually disable this behavior by passing "" to getInputLine.