;; -*- mode: Scheme; tab-width:4 -*-

;; Copy this file to the php ini directory (usually /etc/php.d) or
;; copy its content to the global php.ini (usually /etc/php.ini or
;; /usr/local/lib/php.ini).
;; 
;; Use the java.socketname, java.hosts and java.servlet to 
;; control the operation mode:
;;
;; 1) java.socketname and java.hosts off: local backend which
;;    starts automatically.
;;
;; 2) java.socketname set: local system backend started by the
;;    php-java-bridge service script.
;;
;; 3) java.hosts set: external backend(s) on a different server(s).
;;
;; 4) java.hosts and java.servlet set: external backend(s) 
;;    deployed in a j2ee application server or servlet engine.

extension = java.so
[java]

;; log level between 0 (log off) and 4 (log debug). The default "log
;; file" is the standard output. The default level is 2.

java.log_level  = 2
java.log_file   = /var/log/php-java-bridge.log


;; Adjust the following options if the VM or its location have
;; changed since you ran the ./configure command.

;java.java_home = /usr/java/jdk1.5.0
;java.java      = /usr/java/jdk1.5.0/bin/java


;; If you want to start the backend automatically as a sub-component
;; of your HTTP server, comment out _all the following options_.


;; If you don't have a servlet engine, double-click on JavaBridge.jar
;; or use the php-java-bridge service script to start and stop the
;; backend as a system service.  Please see the RedHat RPM download
;; for an example how to start java as a system service.

java.socketname = /var/run/.php-java-bridge_socket


;; If you have a servlet engine or an application server, deploy
;; JavaBridge.war and re-start the servlet engine or the application
;; server. Comment out the "java.socketname" option and uncomment
;; the following options.

;java.hosts     = "127.0.0.1:8080"
;java.servlet   = On