[m-dev.] diff: record w3 installation date

[Peter Ross]

Hi,


===================================================================


Estimated hours taken: 0.2

install_webpages:
    Record the date of the installation.


Index: install_webpages
===================================================================
RCS file: /home/mercury1/repository/w3/bin/install_webpages,v
retrieving revision 1.16
diff -u -r1.16 install_webpages
--- install_webpages	2000/07/26 16:15:46	1.16
+++ install_webpages	2000/08/09 11:47:04
@@ -12,6 +12,8 @@
 
 export PATH=/usr/local/bin:$PATH
 
+echo Install started at `date`
+
 whathost=`hostname | sed -e 's/\..*//'`
 if [ $whathost != "hydra" ]
 then
@@ -52,6 +54,7 @@
     #
     # Reindex the web site for searching.
     #
+echo Reindex of website started at `date`
 umask 002
 
     # Index the web-site for searching.
@@ -64,3 +67,5 @@
 do
     mv $file `basename $file .work`
 done
+
+echo Install finished at `date`

--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------