Martijn van Oosterhout <kleptog(at)svana(dot)org> writes:> Seems to me that you could just do this by setting stdin to be> /dev/null?
No, because the simple_prompt code makes a point of reading from/dev/tty.
regards, tom lane