Andrew Dunstan <[EMAIL PROTECTED]> writes: > Magnus Hagander wrote: >> (Specifically, it's bad that we open /dev/tty for writing even if we >> failed it for reading (that will create a new file), and that we don't >> check if it's a tty at all).
> Maybe we should stat the file and check that it's actually a character > special device. On any sane Unix installation, /dev is not user-writable ... and I've never heard of one without /dev/tty, either. So the above risk seems illusory, except on Windows. regards, tom lane ---------------------------(end of broadcast)--------------------------- TIP 5: don't forget to increase your free space map settings