############################################################## ### ### Helma object publisher config file ### Author: Hannes Wallnoefer, ### Author: Andreas Bolka ### ### This file should be placed in /etc/helma.conf. ### It is read by the Helma service control script, ### usually /etc/init.d/helma. ### ############################################################## ############################################################## ### The name of this Helma server/service and the ### pid file to be used ############################################################# HELMA_SERVICE=helma HELMA_PID=/var/run/helma.pid ############################################################## ### Full path to Java executable ############################################################## JAVA_HOME=/usr/lib/j2sdk1.5-sun JAVA_BIN=$JAVA_HOME/bin/java ############################################################## ### Options passed to the Java runtime ############################################################## JAVA_OPTS="-Djava.awt.headless=true" ############################################################## ### Helma install directory. This is where we look for ### the Helma jar files (launcher.jar, lib/* and lib/ext/*) ############################################################## HELMA_INSTALL=/usr/local/helma/helma-1.6.x ############################################################## ### Helma home directory, in case it is different from the ### Helma install dir. This is where Helma will look for ### properties files and applications. ############################################################## HELMA_HOME=$HELMA_INSTALL ############################################################## ### The user Helma should be running as ############################################################## HELMA_USER=helma ############################################################## ### File to which standard and error output from Helma ### is redirected ############################################################## HELMA_LOG=$HELMA_HOME/log/helma-out.log ############################################################## ### Helma options. Possible options are: ### ### -f file Specify server.properties file ### -p port Specify RMI port number ### -w port Specify port number for embedded Web server ### -x port Specify XML-RPC port number ### -jk port Specify AJP13 port number ### ############################################################## HELMA_ARGS="-w 8080"