/Options.inc

Description
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