summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBruce Momjian2011-03-11 03:04:00 +0000
committerBruce Momjian2011-03-11 03:04:00 +0000
commit3f9cf6b336fb93f4e13943d9e873f5a4a167177a (patch)
treecf35013d7120f5e8556eded9380c5628c2ed681f
parent303b7fcd10a34d8c8b4c3e6e258faeaf107dcf92 (diff)
When a smart pg_ctl shutdown fails, mention -m fast as a tip.
-rw-r--r--src/bin/pg_ctl/pg_ctl.c6
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);
}