mirror of
https://github.com/postgres/postgres.git
synced 2025-11-10 17:42:29 +03:00
postmaster, because it isn't updated after forking away from the terminal. Apparently it's not used anyplace in the postmaster ... but seems best to make it show the correct PID ...