Esempio n. 1
0
function java_get_server_name()
{
    return java_server_name();
}
Esempio n. 2
0
<?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();
 /**
  * {@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);
     }
 }