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

Reply via email to