5 # The latest update : 12/22/95 at 17:31:49
7 #@(#) htmlUpdateTime Function
10 #@(#) Usage : htmlUpdateTime
21 echo "Usage: htmlUpdateTime"
27 while [ $ans != "Y" -a $ans != "y" ]
31 echo "$Name is good ?"
42 while [ `echo $1 | cut -c1` = ${FlagsCharacter} ]
44 if [ `echo $1 | cut -c2` = "h" ]
64 currentTime=`date +%D---%T`
65 echo "<H4> Update Time $currentTime </H4>"