> Yes, I thought of not dumping it. The problem is that we don't delete
> the index when it fails, so I assumed we didn't want to lose the index
> creation information. I need to understand why we did that. Why do we
> have pg_dump dump the index then?
Because pg_restore will recreate the index from scratch, which is
presumably what users want most of the time. So this issue doesn't
exist outside of pg_upgrade.
--
Josh Berkus
PostgreSQL Experts Inc.
http://pgexperts.com
