> My first reaction would be "now what counts as a separator?", because it
> sounds like some kind of special character, whereas with STRING it's
> clear to me I can use any set of characters I like.
>
> This is not an issue I would lose sleep over however.
OK, we will use your patch version. I like "PATTERN".
-- Bruce Momjian | http://candle.pha.pa.us pgman@candle.pha.pa.us | (610)
853-3000+ If your life is a hard drive, | 830 Blythe Avenue + Christ can be your backup. | Drexel Hill,
Pennsylvania19026