diff options
author | Nicolas LÅ“uillet <nicolas.loeuillet@gmail.com> | 2013-10-08 03:48:49 -0700 |
---|---|---|
committer | Nicolas LÅ“uillet <nicolas.loeuillet@gmail.com> | 2013-10-08 03:48:49 -0700 |
commit | 5188585864949d939b083d87dcea1e310d588a30 (patch) | |
tree | 736b1df29167acb459990c94eb44869bcb9d8883 /inc/poche/Tools.class.php | |
parent | 1e98ee1de08d319facfa4c74d87c51506c662b78 (diff) | |
parent | 5e07dc8b51f9612de5f5a00bbac399c777e82fa4 (diff) | |
download | wallabag-5188585864949d939b083d87dcea1e310d588a30.tar.gz wallabag-5188585864949d939b083d87dcea1e310d588a30.tar.zst wallabag-5188585864949d939b083d87dcea1e310d588a30.zip |
Merge pull request #272 from jcsaaddupuy/custom_ssl_port
Custom ssl port
Diffstat (limited to 'inc/poche/Tools.class.php')
-rw-r--r-- | inc/poche/Tools.class.php | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/inc/poche/Tools.class.php b/inc/poche/Tools.class.php index 8eb988f4..1d092823 100644 --- a/inc/poche/Tools.class.php +++ b/inc/poche/Tools.class.php | |||
@@ -41,10 +41,14 @@ class Tools | |||
41 | $https = (!empty($_SERVER['HTTPS']) | 41 | $https = (!empty($_SERVER['HTTPS']) |
42 | && (strtolower($_SERVER['HTTPS']) == 'on')) | 42 | && (strtolower($_SERVER['HTTPS']) == 'on')) |
43 | || (isset($_SERVER["SERVER_PORT"]) | 43 | || (isset($_SERVER["SERVER_PORT"]) |
44 | && $_SERVER["SERVER_PORT"] == '443'); // HTTPS detection. | 44 | && $_SERVER["SERVER_PORT"] == '443') // HTTPS detection. |
45 | || (isset($_SERVER["SERVER_PORT"]) //Custom HTTPS port detection | ||
46 | && $_SERVER["SERVER_PORT"] == SSL_PORT); | ||
47 | |||
45 | $serverport = (!isset($_SERVER["SERVER_PORT"]) | 48 | $serverport = (!isset($_SERVER["SERVER_PORT"]) |
46 | || $_SERVER["SERVER_PORT"] == '80' | 49 | || $_SERVER["SERVER_PORT"] == '80' |
47 | || ($https && $_SERVER["SERVER_PORT"] == '443') | 50 | || ($https && $_SERVER["SERVER_PORT"] == '443') |
51 | || ($https && $_SERVER["SERVER_PORT"]==SSL_PORT) //Custom HTTPS port detection | ||
48 | ? '' : ':' . $_SERVER["SERVER_PORT"]); | 52 | ? '' : ':' . $_SERVER["SERVER_PORT"]); |
49 | 53 | ||
50 | $scriptname = str_replace('/index.php', '/', $_SERVER["SCRIPT_NAME"]); | 54 | $scriptname = str_replace('/index.php', '/', $_SERVER["SCRIPT_NAME"]); |
@@ -243,4 +247,4 @@ class Tools | |||
243 | $lang = explode('.', $userlanguage); | 247 | $lang = explode('.', $userlanguage); |
244 | return str_replace('_', '-', $lang[0]); | 248 | return str_replace('_', '-', $lang[0]); |
245 | } | 249 | } |
246 | } \ No newline at end of file | 250 | } |