I haven't found a patch for it; I just kill pine occasionally.  I'm
assuming the morons didn't bother to check for EOF, because it looks like
it's busy-looping on "invalid input".  !@#*!@#.

Remember:  *ALWAYS CHECK INPUT CHARACTERS AGIANST EOF*.  Also remember
that getchar() returns int, and that read() returns 0 or a
negative value for failure to read anything.

And remember to check feof() or the equivalent on machines where unsigned
(rare, but legal.)

-s