Jodi Kanter <jkanter(at)virginia(dot)edu> writes:
> I thought there was an option to rename a database?
No, but you could always do an UPDATE on pg_database. It might be a
good idea to ensure there are no backends running in the target database
when you do the update. (I think that recent releases wouldn't care
particularly, but I'm less sure about 7.3.4.)
regards, tom lane