30.07.2012 Views

Reference Guide

Reference Guide

Reference Guide

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Zend Server <strong>Reference</strong> Manual<br />

java_set_ignore_case<br />

Sets the case sensitivity for Java calls when there are mixed cases in your PHP script<br />

Available since version 3.6<br />

Description<br />

void java_set_ignore_case (boolean $ignore)<br />

Parameters<br />

ignore<br />

258<br />

If set, the Java attribute and method names are resolved, regardless of case<br />

java_throw_exceptions<br />

Controls if exceptions are thrown on Java exception. When an exception is thrown by a Java application,<br />

this function controls if the exception caught by the PHP code will continue to be thrown or not (if not, it is<br />

stored in the Java Bridge's internal memory)<br />

Available since version 3.6<br />

Description<br />

void java_throw_exceptions (int $throw)<br />

Parameters<br />

throw<br />

If true, a PHP exception is thrown when a Java exception happens. If set to FALSE, use<br />

java_last_exception_get() to check for exceptions<br />

java_set_encoding<br />

Sets encoding for strings received by Java from the PHP code to verify that the encoding is the same in<br />

the PHP and Java code<br />

Available since version 3.6<br />

Description<br />

void java_set_encoding ([ string $encoding = UTF-8 ])<br />

Parameters<br />

encoding<br />

Default encoding type is UTF-8. The default value is UTF-8

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!