Claudio Natoli <claudio.natoli@memetrics.com> 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