Is there a way to rename an existing database, short of dumping andrestoring it?
-- Florian Weimer Weimer(at)CERT(dot)Uni-Stuttgart(dot)DEUniversity of Stuttgart http://CERT.Uni-Stuttgart.DE/people/fw/RUS-CERT fax +49-711-685-5898