mozilla/rust — pull request #11126 by spaolacci (2013-12-23 11:06:14+00:00)
Title: Don't raise EndOfFile when stdin::read reaches EOF.

Just return `None' as stipulated by the `Reader' trait. Fixes #11104.