/Options.inc

Description
Constants
JAVA_CACHE_ENABLED = false (line 100)
JAVA_DEBUG = false (line 96)
JAVA_HOSTS = $ini["java.hosts"] (line 58)
JAVA_LOG_LEVEL = $ini["java.log_level"] (line 60)
JAVA_PEAR_VERSION = "4.2.1" (line 54)
JAVA_PIPE_DIR = file_exists("/dev/shm")?"/dev/shm":file_exists("/tmp"?"/tmp":null) (line 91)
JAVA_SERVLET = $ini["java.servlet"] (line 59)

Documentation generated on Sun, 30 Sep 2007 10:33:28 +0200 by phpDocumentor 1.4.0a2