diff options
| author | Robert Haas | 2011-03-10 21:24:52 +0000 |
|---|---|---|
| committer | Robert Haas | 2011-03-10 21:24:52 +0000 |
| commit | 551c07d84ae2f0d3b7dde68e52322edf9cb87ba5 (patch) | |
| tree | 513e377d6f0f062bb6f87604596625238a3f5565 /src/tools/git-external-diff | |
| parent | 2e019c8611654175780db488d81cc2dc8311f22e (diff) | |
Make error handling of synchronous_standby_names consistent.
It's not a good idea to kill the postmaster just because someone muffs
this, and it's not consistent with what we do for other, similar GUCs.
Fujii Masao, with a bit more hacking by me
Diffstat (limited to 'src/tools/git-external-diff')
0 files changed, 0 insertions, 0 deletions