Make it easy to time out pg_isready, and make the default 3 seconds.
Along the way, add a missing line to the help message.
Phil Sorber, reviewed by Fujii Masao
Branch
------
master
Details
-------
http://git.postgresql.org/pg/commitdiff/a37e83c0a99ecf50c64baffc6c88c3d805d6e822
Modified Files
--------------
doc/src/sgml/ref/pg_isready.sgml | 12 +++++++
src/bin/scripts/pg_isready.c | 66 ++++++++++++++++++++-----------------
2 files changed, 48 insertions(+), 30 deletions(-)