EOF with pipes.

[obrien%rand-unix at sri-unix.UUCP]

From:  Michael_OBrien <obrien at rand-unix>

	"eofp()" solved a serious problem we had with pipes, which we were
forced to use because of PDP-11 address space restrictions.  It actually
worked quite well.

	However, I should point out that it existed only in our highly
hacked V6 kernel (I spent most of my first couple of years here unhacking
that kernel and throwing stuff away).  We no longer support, use, or
recommend "eofp()" and it doesn't occur in any of our kernels any more.