mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2025-12-13 04:44:39 +00:00
Code Issues Projects Releases Wiki Activity

Improve the error message generated when locking

Browse Source 
Estimated hours taken: 1

tools/generate_index_html:
	Improve the error message generated when locking
	the directory fails.
This commit is contained in:
Simon Taylor
2003-01-09 15:01:41 +00:00
parent f4f7286d80
commit ac04f43531
1 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
tools/generate_index_html
View File

@@ -26,7 +26,11 @@ timeout=20
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`