1 diff -ur postgresql-7.1.3/src/bin/pg_ctl/pg_ctl.sh postgresql-7.1.3.new/src/bin/pg_ctl/pg_ctl.sh
2 --- postgresql-7.1.3/src/bin/pg_ctl/pg_ctl.sh Sat Apr 21 13:23:58 2001
3 +++ postgresql-7.1.3.new/src/bin/pg_ctl/pg_ctl.sh Sat Dec 1 11:02:22 2001
5 if [ "$op" = "start" -o "$op" = "restart" ];then
7 if [ -f "$PIDFILE" ];then
8 - echo "$CMDNAME: Another postmaster may be running. Trying to start postmaster anyway." 1>&2
9 + $silence_echo echo "$CMDNAME: Another postmaster may be running. Trying to start postmaster anyway." 1>&2
10 oldpid=`sed -n 1p $PIDFILE`