2009/11/4 <ma...@apache.org>: > Author: markt > Date: Wed Nov 4 00:24:43 2009 > New Revision: 832632 > > URL: http://svn.apache.org/viewvc?rev=832632&view=rev > Log: > Fix https://issues.apache.org/bugzilla/show_bug.cgi?id=47699 > Better handling of PID files > > Modified: > tomcat/tc6.0.x/trunk/STATUS.txt > tomcat/tc6.0.x/trunk/bin/catalina.sh > tomcat/tc6.0.x/trunk/webapps/docs/changelog.xml
> + > + SLEEP=5 > + if [ ! -z "$1" ]; then > + echo $1 | grep "[^0-9]" > /dev/null 2>&1 > + if [ $? -eq 1 ]; then > + SLEEP=$1 > + shift > + fi > + fi > + Just a note: I would prefer to be able to provide the default value for $SLEEP in a setenv.sh file. These 5 seconds might be too short for some systems. --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org
