diff options
author | Tom Lane | 2016-02-10 21:01:04 +0000 |
---|---|---|
committer | Tom Lane | 2016-02-10 21:01:04 +0000 |
commit | c5e9b771275b93b09eec6b760677fe6c5e726ab2 (patch) | |
tree | 64bdead0a1170f910f40aa95d55bc4f953235b9e /src/tutorial | |
parent | 79a7ff0fe56ac9d782b0734ebb0e7a5299015e58 (diff) |
Revert "Temporarily make pg_ctl and server shutdown a whole lot chattier."
This reverts commit 3971f64843b02e4a55d854156bd53e46a0588e45 and a
couple of followon debugging commits; I think we've learned what we can
from them.
Diffstat (limited to 'src/tutorial')
0 files changed, 0 insertions, 0 deletions