use gcount() instead of eof() because ignore() doesn't set the eof bit in some versio...
authorrobs <robs>
Mon, 26 Nov 2001 18:08:25 +0000 (18:08 +0000)
committerrobs <robs>
Mon, 26 Nov 2001 18:08:25 +0000 (18:08 +0000)
commitfb0f73bb44ced396286d2d1fbd60572bb4ffc889
treeea673a65a6f776728780d416bd538d7293c07252
parentd29155eadc9d31c2ce1648b22158188aac612aec
use gcount() instead of eof() because ignore() doesn't set the eof bit in some versions of glibc++
examples/echo-cpp.cpp