aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2015-09-11 12:56:49 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2015-09-11 13:26:26 +0200
commit548dfec740252cbd20ee424b4c5186da9befa3f0 (patch)
tree4bed05f3f4dff1df1008755afa075d16237cecd0
parentaae6d7557950c19d22b7d09fae26f3d20db75a22 (diff)
Alow pgctl script passing additional paramaters to pg_ctl for stop operation
-rwxr-xr-xetc/pgctl4
1 files changed, 3 insertions, 1 deletions
diff --git a/etc/pgctl b/etc/pgctl
index 4331ca1..d1f676f 100755
--- a/etc/pgctl
+++ b/etc/pgctl
@@ -8,6 +8,8 @@
. `dirname $0`/config
CMD="$1"
+shift
+
SOCKET_DIR="$PG_WORKSPACE_DIR"
OUT_FILE="$PG_WORKSPACE_DIR/out"
@@ -90,7 +92,7 @@ case $CMD in
if test $? -eq 0; then
echo "PostgreSQL server stopping ..."
- pg_ctl stop -D "$PG_DATA_DIR"
+ pg_ctl stop -D "$PG_DATA_DIR" "$@"
ERROR=$?
if test $ERROR -eq 0; then