Menu ▾ ▴

[r456]: / trunk / php-java-bridge / tests.php5 / reset.php  Maximize  Restore  History

Download this file

12 lines (10 with data), 300 Bytes 

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
<?php 

if (!extension_loaded('java')) {

  if (!(include_once("java/Java.php"))&&!(PHP_SHLIB_SUFFIX=="so" && dl('java.so'))&&!(PHP_SHLIB_SUFFIX=="dll" && dl('php_java.dll'))) {

    echo "java extension not installed.";

    exit(2);

  }

}



echo "Resetting backend to initial state\n";

java_reset();

?>