Kevin Grittner <kgrittn@ymail.com> writes:
> Perhaps we should arrange for a DROP DATABASE command to somehow
> signal all backends to close files from that backend?
See commit ff3f9c8de, which was back-patched into 9.1.x as of 9.1.7.
Unfortunately, the complainant is running 9.1.2.
regards, tom lane