"Tom Lane" <[EMAIL PROTECTED]> writes: > A seasoned developer might only need the file name to guess what kind of > file it is, but other people could probably use the help.
I think Peter's argument is that what kind of file it is really doesn't help a regular user. Nonetheless I agree strongly. Even if it doesn't actually make any practical difference it's one less thing to wonder about and one more anchor for a user to hold onto when trying to understand what's going on. I know I feel better knowing what part is actually broken on my car than just having a dummy light come on even if I'm going to go to the same garage either way. -- Gregory Stark EnterpriseDB http://www.enterprisedb.com ---------------------------(end of broadcast)--------------------------- TIP 2: Don't 'kill -9' the postmaster