[m-rev.] diff: improve generate_index_html error reporting

[Simon Taylor]

Estimated hours taken: 1

tools/generate_index_html:
	Improve the error message generated when locking
	the directory fails.

Index: generate_index_html
===================================================================
RCS file: /home/mercury1/repository/mercury/tools/generate_index_html,v
retrieving revision 1.9
diff -u -u -r1.9 generate_index_html
--- generate_index_html	2 Jan 2003 06:54:02 -0000	1.9
+++ generate_index_html	9 Jan 2003 15:00:07 -0000
@@ -26,7 +26,11 @@
 retries=0
 until mkdir $LOCKDIR; do
 	case $retries in
-	    $timeout) 	echo "** $0: timed out" 1>&2; exit 1 ;;
+	    $timeout) 
+	    	echo "** $0: creating lock directory `pwd`/$LOCKDIR failed" 1>&2
+		echo "** $0: remove it manually if it is stale" 1>&2
+		exit 1
+		;;
 	esac
 	sleep 5
 	retries=`expr $retries + 1`
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------