momjian@svr1.postgresql.org (Bruce Momjian) writes:
> Change back to /dev/stdin, even though it isn't portable. Let's
> wait for someone to complain they don't have /dev/stdin.
That would be me. Why do you think I changed it? HPUX doesn't have
/dev/stdin.
regards, tom lane