Hi, Pete Ryland wrote:
> Ctrl-D is not a 'signal' as such, but simply will cause any reads from
> stdin to report EOF.
... if you're reading "cooked" standard input. Readline doesn't; for
readline, ^D is just another character, and what happens when the user
pressed ^D is a matter of (for the user) keybinding and (for the
programmer) manual-reading.
--
Matthias Urlichs | {M:U} IT Design @ m-u-it.de | [EMAIL PROTECTED]
Disclaimer: The quote was selected randomly. Really. | http://smurf.noris.de
--
'What can I do? I'm only human,' he said aloud.
Someone said, 'Not all of you.'
-- Terry Pratchett (Pyramids)
