Tim Golden added the comment:

I'm at best +0.25, but I don't have a problem with Ctrl-D exiting on 
Windows, as it doesn't do anything else!

The thing is, though, that this is all handled within 
myreadline.c:my_fgets which is a call into the system fgets which errors 
out with Ctrl-Z but returns Ctrl-D. Which means that the two would 
behave differently even if we special-cased Ctrl-D.

(Sorry: was that explanation a bit involved?)

----------

_______________________________________
Python tracker <rep...@bugs.python.org>
<http://bugs.python.org/issue19089>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe: 
https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com

Reply via email to