Closed williamstein closed 2 years ago
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!
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!