mirror of
https://github.com/postgres/postgres.git
synced 2025-10-22 00:06:04 -04:00
5d2f957f3f
Sometimes it's useful for a background worker to be able to initialize its database connection by OID rather than by name, so provide a way to do that.