Skip to content

Distinguish a zombie postmaster from a live one in get_pgpid() - #1173

Merged
dimitri merged 1 commit into
mainfrom
fix/1166-zombie-postmaster-detection
Jul 28, 2026
Merged

Distinguish a zombie postmaster from a live one in get_pgpid()#1173
dimitri merged 1 commit into
mainfrom
fix/1166-zombie-postmaster-detection

Fix #1166: distinguish a zombie postmaster from a live one in get_pgp…

00b1e9b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Check if this is a docs-only change
succeeded Jul 28, 2026 in 6s