PHP java_server_nameの例

コード例 #1

ファイル: functions.php プロジェクト: robocoder/solublecomponents

function java_get_server_name()
{
    return java_server_name();
}

コード例 #2

ファイル: simple.php プロジェクト: dreamsxin/php-java-bridge

<?php

// Remove all entries from the php.ini and call this twice, with and
// w/o java.so
include_once "java/Java.inc";
echo java_server_name();

コード例 #3

ファイル: PHPDebugger.php プロジェクト: peterneubauer/neo4j-php-wrapper

 /**
  * {@inheritDoc}
  */
 public function getHtmlScriptSource()
 {
     if (function_exists("java_get_base") && java_server_name() && is_object($this->value) && $this->value instanceof java_JavaType) {
         return highlight_string(java_cast($this->value, "S"), true);
     } else {
         return highlight_string($this->value, true);
     }
 }