Function java_defineHostFromInitialQuery
Helper function: Extract the URL from base and and set host, port and servlet accordingly. For example when the user has called: require_once("http://localhost:8080/JavaBridge/java/Java.inc"); the JAVA_HOSTS is set to localhost:8080 and JAVA_SERVLET to /JavaBridge/JavaBridge.phpjavabridge.
|
$java_base |