Peter Eisentraut <peter_e(at)gmx(dot)net> writes:
> Should the parameter determine the directory or the full file name? I'd
> go for the former, but it's not a strong case.
Directory was what I had in mind too, but I'm not sure what Bruce
actually did ...
regards, tom lane