vgritsenko 2004/01/16 05:42:59
Modified: . xindice.bat xindice.sh Log: Add default for JAVA_OPTIONS Revision Changes Path 1.14 +5 -1 xml-xindice/xindice.bat Index: xindice.bat =================================================================== RCS file: /home/cvs/xml-xindice/xindice.bat,v retrieving revision 1.13 retrieving revision 1.14 diff -u -r1.13 -r1.14 --- xindice.bat 16 Jan 2004 13:38:33 -0000 1.13 +++ xindice.bat 16 Jan 2004 13:42:59 -0000 1.14 @@ -56,6 +56,10 @@ set EXEC=start "Xindice" /D. /MAX +if not "%JAVA_OPTIONS%" == "" goto gotOptions +set JAVA_OPTIONS=-Xms64m -Xmx128m +:gotOptions + if not "%JETTY_PORT%" == "" goto gotPort set JETTY_PORT=8888 :gotPort 1.11 +5 -1 xml-xindice/xindice.sh Index: xindice.sh =================================================================== RCS file: /home/cvs/xml-xindice/xindice.sh,v retrieving revision 1.10 retrieving revision 1.11 diff -u -r1.10 -r1.11 --- xindice.sh 16 Jan 2004 13:38:33 -0000 1.10 +++ xindice.sh 16 Jan 2004 13:42:59 -0000 1.11 @@ -57,6 +57,10 @@ exit 1 fi +if [ "$JAVA_OPTIONS" == "" ] ; then + JAVA_OPTIONS=-Xms64m -Xmx128m +fi + if [ "$XINDICE_HOME" = "" ] ; then echo echo "WARNING: The environment variable XINDICE_HOME is not set."