From 2bda7a44067f22f73cd7937f6c88efd1bbe97638 Mon Sep 17 00:00:00 2001
From: Tatsuo Ishii <ishii@postgresql.org>
Date: Mon, 7 Feb 2000 04:31:10 +0000
Subject: [PATCH] change copyright year 1999->2000 Minor fix

---
 src/bin/pg_ctl/pg_ctl.sh | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/bin/pg_ctl/pg_ctl.sh b/src/bin/pg_ctl/pg_ctl.sh
index a044622c06a..772b275fd9a 100755
--- a/src/bin/pg_ctl/pg_ctl.sh
+++ b/src/bin/pg_ctl/pg_ctl.sh
@@ -4,11 +4,11 @@
 # pg_ctl.sh--
 #    Start/Stop/Restart/Report status of postmaster
 #
-# Copyright (c) 1999, PostgreSQL Global Development Group
+# Copyright (c) 2000, PostgreSQL Global Development Group
 #
 #
 # IDENTIFICATION
-#    $Header: /cvsroot/pgsql/src/bin/pg_ctl/Attic/pg_ctl.sh,v 1.8 2000/02/06 00:49:03 ishii Exp $
+#    $Header: /cvsroot/pgsql/src/bin/pg_ctl/Attic/pg_ctl.sh,v 1.9 2000/02/07 04:31:10 ishii Exp $
 #
 #-------------------------------------------------------------------------
 CMDNAME=`basename $0`
@@ -85,6 +85,8 @@ do
 	-m)
 	    shift
 	    case $1 in
+		s|smart)
+		    ;;
 		f|fast)
 		    sig="-INT"
 		    ;;
-- 
GitLab