Heikki Linnakangas <heikki(dot)linnakangas(at)enterprisedb(dot)com> writes:
> No, it's a backend that's holding the file open, with FILE_SHARE_DELETE.
If that's the only case we care about covering, then rename might be
enough. I was just wondering what it would take to solve the more
general problem of something holding it open with the wrong flags
at the time we want to get rid of it.
regards, tom lane