mirror of
https://github.com/postgres/postgres.git
synced 2026-05-29 03:54:41 -04:00
be7558162a
The previous behavior was to restart immediately, which was generally viewed as less useful. Petr Jelinek, with some adjustments by me.