public function __wakeup() { $args = array($this->__serialID, java_get_lifetime()); $this->__client = __javaproxy_Client_getClient(); if ($this->__tempGlobalRef) { $this->__client->globalRef = $this->__tempGlobalRef; } $this->__tempGlobalRef = null; $this->__java = $this->__client->invokeMethod(0, "deserialize", $args); }
function java_session_array($args) { $client = __javaproxy_Client_getClient(); if (!isset($args[0])) { $args[0] = null; } if (!isset($args[1])) { $args[1] = 0; } elseif ($args[1] === true) { $args[1] = 1; } else { $args[1] = 2; } if (!isset($args[2])) { $args[2] = java_get_lifetime(); } return $client->getSession($args); }