I guess most people would like to run Tomcat with server HotSpot if
there is one. Can we do something like this (just to save most people a
bit of configuration file editing, environment variable setting and the
like):

--- tomcat.sh   Wed Jul 18 07:24:49 2001
+++ /usr/local/tomcat/bin/tomcat.sh     Sat Aug 18 17:56:40 2001
@@ -101,7 +101,11 @@

 if [ "$JAVACMD" = "" ] ; then
    # it may be defined in env - including flags!!
-   JAVACMD=$JAVA_HOME/bin/java
+   if [ -n "`java -version 2>&1 | grep HotSpot`" ]; then
+       HOTSPOT="-server"
+   fi
+
+   JAVACMD="$JAVA_HOME/bin/java $HOTSPOT"
 fi

 ## -------------------- Prepare CLASSPATH --------------------

Bojan

Reply via email to