Tom Lane writes:
> pg_ctl restart works fine with this patch, but I'm not sure whether it> breaks useful cases for the other paths:
Looks good.
-- Peter Eisentraut peter_e(at)gmx(dot)net http://funkturm.homeip.net/~peter