in terminal in node, make it so ctrl+D actually sends EOF.
williamstein opened this issue · comments
See also #6. I'm not sure if this is possible or subtle or how it is supposed to work. Maybe we have to set some EOF state. In any case, just sending the \u0004 character over stdin is not the same thing as EOF!