Time the shorewall restart by default; minor comment adjustment

git-svn-id: https://shorewall.svn.sourceforge.net/svnroot/shorewall/trunk@4321 fbd18981-670d-0410-9b5c-8dc0c1a9a2bb

contrib/shoregen/install_shoregen

@@ -26,6 +26,7 @@
 VERBOSE=0
 RESTART=0
 CHECK=1
+TIME=1
 
 usage()
 {
@@ -57,6 +58,11 @@ while :; do
 	shift
 	;;
 
+    -t|--notime)
+	TIME=0
+	shift
+	;;
+
     --)
 	shift
 	break 2
@@ -94,10 +100,15 @@ PATH=$PATH:
 for HOST; do
     shoregen $HOST
     rsync $RSYNC_ARGS SPOOL/$HOST/ $USER@$HOST:$DIR/
+    if [ "$TIME" -gt 0 ]; then
+	TIME=time
+    else
+	TIME=""
+    fi
     if [ "$CHECK" -gt 0 ]; then
-	ssh -l $USER -t $HOST $SW_PATH check
+	$TIME ssh -l $USER -t $HOST $SW_PATH check
     fi
     if [ "$RESTART" -gt 0 ]; then
-	ssh -l $USER -t $HOST $SW_PATH restart
+	$TIME ssh -l $USER -t $HOST $SW_PATH restart
     fi
 done

contrib/shoregen/shoregen

@@ -99,6 +99,9 @@ sub stripfile
 }
 
 
+#
+# Construct a configuration file given a number of input files
+#
 sub constructfile
 {
     my $confname = shift;