Re: What's left?

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