Lines Matching refs:port
118 // define cookie and session id, append server port when securecookie is configured FS#1664
496 //split hostheader into host and port
508 $port = $parsed_host['port'] ?? '';
512 $port = $parsed_host['port'] ?? '';
515 $port = '';
520 if ($port == '80') {
521 $port = '';
525 if ($port == '443') {
526 $port = '';
530 if ($port !== '') $port = ':' . $port;
532 return $proto . $host . $port . $dir;