K 10 svn:author V 4 hoek K 8 svn:date V 27 2000-05-09T04:13:49.000000Z K 7 svn:log V 110 Exit if we read two EOFs from the keyboard input stream. Why two and not one? Just 'cause. PR: misc/14932 END