/Options.inc

Description
Constants
JAVA_DEBUG = $ini (line 154)

Debug mode for the client.

Debug mode for the client. This debug flag is for PHP only. To enable the VMBridge log restart Java with the -Dphp.java.bridge.default_log_level=... option.

JAVA_HOSTS = $ini (line 71)

The address of the HTTP back end.

The address of the HTTP back end. For example "127.0.0.1:8080"

JAVA_LOG_LEVEL = (int)$ini (line 116)

The request log level between 0 (log off) and 4 (log debug).

The request log level between 0 (log off) and 4 (log debug). The default request log level is initialized with the value from to the Java system property "php.java.bridge.default_log_level". The servlet's init-param: servlet_log_level (see WEB-INF/web.xml) overrides this value. The default level is 2.

JAVA_PEAR_VERSION = "5.4.1" (line 55)

The version number of this PHP library.

The version number of this PHP library.

JAVA_PERSISTENT_SERVLET_CONNECTIONS = $ini (line 163)

Whether or not the PHP should keep persistent connections to the servlet.

Whether or not the PHP should keep persistent connections to the servlet. Set this to true if you can guarantee that IE or Apache's "maxClients" is less than or equal to the SERVLET's thread pool size (usually named "maxThreads").

JAVA_PIPE_DIR = $ini (line 130)

Use named pipes instead of local TCP sockets.

Use named pipes instead of local TCP sockets. Set this to the directory in which the named pipes should be created. Note that pipes are a little bit slower than persistent TCP sockets. But they are more secure. Example: define("JAVA_PIPE_DIR", "/tmp"); Default is to use /dev/shm on Linux, false otherwise.

JAVA_PREFER_VALUES = $ini (line 144)

Set to 1 for compatibility with earlier versions.

Set to 1 for compatibility with earlier versions. When this flag is set, a value (null, int, ...) is returned immediately. Otherwise a proxy (Request$PHPNULL, Integer, ...) is returned and PHP must fetch its content using java_values($proxy);

JAVA_RECV_SIZE = 8192 (line 61)
JAVA_SEND_SIZE = 8192 (line 58)
JAVA_SERVLET = $ini (line 103)

Rewrite rules for incoming HTTP requests.

Rewrite rules for incoming HTTP requests. Used in conjunction with JAVA_HOSTS and a servlet/J2EE back end

  • "On" or 1; Hard-codes the context to "JavaBridge": http://foo.com/test.php => http://host1:port1/JavaBridge/test.phpjavabridge cookie path: always "/"
  • "bar/JavaBridge.phpjavabridge"; Hard-codes the context to "bar": http://foo.com/test.php => http://host1:port1/bar/test.phpjavabridge cookie path: always "/"
  • "User"; Separates different web apps: http://foo.com/mApp1/test.php => http://host1:port1/mApp1/test.phpjavabridge cookie path: /mApp1 http://foo.com/mApp2/test.php => http://host1:port1/mApp2/test.phpjavabridge cookie path: /mApp2
  • "Off" or 0 doesn't use a web context at all (no cookies are generated, no PHP/Java session sharing). Back-end must have been started with INET:PORT or INET_LOCAL:PORT, no Servlet engine, no J2EE server.

Documentation generated on Mon, 05 Jan 2009 21:11:00 +0100 by phpDocumentor 1.4.2