[Of course, whether or not this is the best behaviour (as opposed to error) is an arguable point.]
Thanks for the input. I think I'll go with Tom's nearby advice and make it an error.
Joe
---------------------------(end of broadcast)--------------------------- TIP 1: subscribe and unsubscribe commands go to [EMAIL PROTECTED]