function getThisUrl() { $url = ''; //vbdel start $url = serverVariables('server_name'); //PHP版上面直接获得端口 if (inStr($url, ':') == false) { $url = $url . getPort(); } $url = $url . serverVariables('script_name'); if (serverVariables('QUERY_STRING') != '') { $url = $url . '?' . serverVariables('QUERY_STRING'); } //vbdel end $getThisUrl = 'http://' . $url; return @$getThisUrl; }
/** * Compare two urls to see whether they refer to the same file, * i.e., having the same protocol, host, port, and path. * This method requires that none of its arguments is null. This is * guaranteed by the fact that it is only called indirectly * by java.net.URL class. * @param u1 a URL object * @param u2 a URL object * @return boolean true if u1 and u2 refer to the same file * @since 1.3 */ public function sameFile(URL $u1, URL $u2) { // Compare the protocols. if (!($u1 . getProtocol() == $u2 . getProtocol() || $u1 . getProtocol() != null && $u1 . getProtocol() . equalsIgnoreCase($u2 . getProtocol()))) { return false; } // Compare the files. if (!($u1 . getFile() == $u2 . getFile() || $u1 . getFile() != null && $u1 . getFile() . equals($u2 . getFile()))) { return false; } // Compare the ports. $port1 = $u1 . getPort() != -1 ? $u1 . getPort() : $u1 . handler . getDefaultPort(); $port2 = $u2 . getPort() != -1 ? $u2 . getPort() : $u2 . handler . getDefaultPort(); if ($port1 != $port2) { return false; } // Compare the hosts. if (!$this->hostsEqual($u1, $u2)) { return false; } return true; }
<?php require_once 'demo.php'; $factoryMethod = getFactoryMethod($argv); $text = file_get_contents('./data/where-love-is-there-god-is-also.txt'); //$text = file_get_contents('./data/war-and-peace.txt'); $ts = -microtime(true); $cplt = \Mufuphlex\Cplt\Factory::$factoryMethod($text, getPort($argv)); echo "\n" . (microtime(true) + $ts) . " - done. Memory usage (current/peak), Kb: " . memory_get_usage(true) . ' / ' . memory_get_peak_usage(true) . "\n"; $cplt->run();
/** * 获取主机路径,兼容多层目录 */ function getHostInfo() { $phpself = getScriptUrl(); $installPath = substr($phpself, 0, strrpos($phpself, '/')); $sitePath = str_replace('/install', '', $installPath); $isHTTPS = isset($_SERVER['HTTPS']) && strtolower($_SERVER['HTTPS']) != 'off' ? true : false; if ($secure = getIsSecureConnection()) { $http = 'https'; } else { $http = 'http'; } if (isset($_SERVER['HTTP_HOST'])) { $hostInfo = $http . '://' . $_SERVER['HTTP_HOST']; } else { $hostInfo = $http . '://' . $_SERVER['SERVER_NAME']; $port = $secure ? getSecurePort() : getPort(); if ($port !== 80 && !$secure || $port !== 443 && $secure) { $hostInfo .= ':' . $port; } } $siteurl = $hostInfo . $sitePath; return $siteurl; }
$locationID = $_POST["locationID"]; getLocationByID($locationID, $mysqli); } if ($functionname == 'delLocation') { $locationID = $_POST["locationID"]; delLocation($locationID, $mysqli); } /*Port*/ if ($functionname == 'setPort') { $portID = $_POST["portID"]; $portName = $_POST["portName"]; $portLocationID = $_POST["portLocationID"]; setPort($portID, $portName, $portLocationID, $mysqli); } if ($functionname == 'getPort') { getPort($mysqli); } if ($functionname == 'getPortByID') { $portID = $_POST["portID"]; getPortByID($portID, $mysqli); } if ($functionname == 'delPort') { $portID = $_POST["portID"]; delPort($portID, $mysqli); } /*Terminal*/ if ($functionname == 'setTerminal') { $terminalID = $_POST["terminalID"]; $terminalName = $_POST["terminalName"]; $terminalPortID = $_POST["terminalPortID"]; setTerminal($terminalID, $terminalName, $terminalPortID, $mysqli);