Claudio Natoli <[EMAIL PROTECTED]> writes:
> One important thing I forgot, that someone could start looking at now:
> * backends keeping files open when other backends are trying to
> delete/rename them
> We must do better for the official port,
Why? The procedure you mentioned seems perfectly adequate to me,
seeing that it's a bit of a corner case to start with.
I cannot think of any way of "doing better" that wouldn't be far too
invasive to be acceptable.
regards, tom lane
---------------------------(end of broadcast)---------------------------
TIP 3: if posting/reading through Usenet, please send an appropriate
subscribe-nomail command to [EMAIL PROTECTED] so that your
message can get through to the mailing list cleanly
