chiark / gitweb /
final fix from nye: die if stdin ends
authorian <ian>
Sun, 1 Jan 2006 13:06:48 +0000 (13:06 +0000)
committerian <ian>
Sun, 1 Jan 2006 13:06:48 +0000 (13:06 +0000)
commitd441c9176e0ed815f211f81d853fdeae1c14c274
treeac486050fa39cded50d17d74d4a5fe4e193b6846
parent1c79c0d9159c5c17a48dca30982691916e848bf9
final fix from nye: die if stdin ends
hostside/gui-displayer