Jens Heine

Results 1 issues of Jens Heine

Hi, I added a ctrl-d handling in the __timedInput function. I expect that the timedInput will raise an EOFError when ctrl-d is pressed. Do you think this makes sense? Best...