--On 4. Oktober 2010 13:24:37 -0400 Robert Haas <robertmhaas@gmail.com>
wrote:
> I understand that we need to disconnect users if the database is
> dropped (it's kind of hard to access a database that's not there any
> more...) but I'm fuzzy on why we'd need to do that if it is merely
> renamed.
Yeah, if there's no real technical reason (besides some potential confusion
by the user...), this feels like overkill. If the behavior is okay, we need
to change the documentation however.
--
Thanks
Bernd