/Options.inc
Constants
JAVA_DEBUG = false
(line 111)
JAVA_HOSTS = $ini["java.hosts"]
(line 66)
JAVA_LOG_LEVEL = $ini["java.log_level"]
(line 68)
JAVA_PEAR_VERSION = "5.0.0"
(line 54)
JAVA_PIPE_DIR = "/dev/shm"
(line 100)
JAVA_PREFER_VALUES = 0
(line 107)
JAVA_RECV_SIZE = 8192
(line 60)
JAVA_SEND_SIZE = 8192
(line 57)
JAVA_SERVLET = $ini["java.servlet"]
(line 67)
Documentation generated on Sun, 16 Mar 2008 19:11:46 +0100 by phpDocumentor 1.4.0a2