tomcat-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Patrick Luby <>
Subject [PATCH] jakarta-tomcat-4.0/catalina/src/bin/
Date Fri, 14 Sep 2001 01:12:15 GMT

Attached is a patch to the
jakarta-tomcat-4.0/catalina/src/bin/ file.

This patch eliminates the use of the "pushd" and "popd" shell commands
when running this script with the "debug" argument.

This patch is necessary because "pushd" and "popd" are only built-in
commands in the Bash shell. While /bin/sh is the Bash shell on Linux,
/bin/sh is the Bourne shell on most other Unix platforms. As a result,
on Unix platforms where /bin/sh is the Bourne shell, this script will
fail since there is no "pushd" or "popd".


Patrick Luby                          Email:
Software Engineering Manager          Phone: 408-863-3284
Sun Microsystems, Desktop Foundation Software
901 San Antonio Road, UCUP01-103
Palo Alto, CA 94303-4900
View raw message