Heikki Linnakangas <heikki@enterprisedb.com> writes:
> The best I can think of is to rename the obsolete file to
> <relfilenode>.stale, when it's scheduled for deletion at next
> checkpoint, and check for .stale-suffixed files in GetNewRelFileNode,
> and delete them immediately in DropTableSpace.
This is getting too Rube Goldbergian for my tastes. What if we just
make DROP TABLESPACE force a checkpoint before proceeding?
regards, tom lane