satyr/coco — pull request #204 by Nami-Doc (2013-02-25 16:17:28+00:00)
Title: End stdin on ctrl+d

Looks like Windows can't generate EOF.
- Should it be CTRL+D to be on par with unix ?
- Should it be CTRL+Z because [Wiki said it was the code used back then](http://en.wikipedia.org/wiki/End-of-file)
- (do you not want that?)