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