@@ 1805-1809 (lines=5) @@ | ||
1802 | } else { |
|
1803 | $final_uri .= $_SERVER['HTTP_X_FORWARDED_SERVER']; |
|
1804 | } |
|
1805 | if (($this->isHttps() && $_SERVER['SERVER_PORT'] != 443) |
|
1806 | || (!$this->isHttps() && $_SERVER['SERVER_PORT'] != 80) |
|
1807 | ) { |
|
1808 | $final_uri .= ':'; |
|
1809 | $final_uri .= $_SERVER['SERVER_PORT']; |
|
1810 | } |
|
1811 | $request_uri = $_SERVER['REQUEST_URI']; |
|
1812 | $request_uri = preg_replace('/\?.*$/', '', $request_uri); |
|
@@ 2655-2661 (lines=7) @@ | ||
2652 | $server_name = $_SERVER['HTTP_X_FORWARDED_SERVER']; |
|
2653 | } |
|
2654 | $final_uri .= $server_name; |
|
2655 | if (!strpos($server_name, ':')) { |
|
2656 | if (($this->isHttps() && $_SERVER['SERVER_PORT'] != 443) |
|
2657 | || (!$this->isHttps() && $_SERVER['SERVER_PORT'] != 80) |
|
2658 | ) { |
|
2659 | $final_uri .= ':'; |
|
2660 | $final_uri .= $_SERVER['SERVER_PORT']; |
|
2661 | } |
|
2662 | } |
|
2663 | ||
2664 | $request_uri = explode('?', $_SERVER['REQUEST_URI'], 2); |