diff options
author | Bruce Momjian | 2011-03-11 03:04:00 +0000 |
---|---|---|
committer | Bruce Momjian | 2011-03-11 03:04:00 +0000 |
commit | 3f9cf6b336fb93f4e13943d9e873f5a4a167177a (patch) | |
tree | cf35013d7120f5e8556eded9380c5628c2ed681f | |
parent | 303b7fcd10a34d8c8b4c3e6e258faeaf107dcf92 (diff) |
When a smart pg_ctl shutdown fails, mention -m fast as a tip.
-rw-r--r-- | src/bin/pg_ctl/pg_ctl.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/bin/pg_ctl/pg_ctl.c b/src/bin/pg_ctl/pg_ctl.c index 2fab5c98fd..4b9fb84c39 100644 --- a/src/bin/pg_ctl/pg_ctl.c +++ b/src/bin/pg_ctl/pg_ctl.c @@ -865,6 +865,9 @@ do_stop(void) print_msg(_(" failed\n")); write_stderr(_("%s: server does not shut down\n"), progname); + if (shutdown_mode == SMART_MODE) + write_stderr(_("TIP: the \"-m fast\" option immediately disconnects sessions rather than\n" + "waiting for session-initiated disconnection.\n")); exit(1); } print_msg(_(" done\n")); @@ -952,6 +955,9 @@ do_restart(void) print_msg(_(" failed\n")); write_stderr(_("%s: server does not shut down\n"), progname); + if (shutdown_mode == SMART_MODE) + write_stderr(_("TIP: the \"-m fast\" option immediately disconnects sessions rather than\n" + "waiting for session-initiated disconnection.\n")); exit(1); } |