diff options
author | Jean-Christophe Saad-Dupuy <saad.dupuy@gmail.com> | 2013-10-07 12:47:13 +0200 |
---|---|---|
committer | Jean-Christophe Saad-Dupuy <saad.dupuy@gmail.com> | 2013-10-07 12:47:13 +0200 |
commit | 2916d24b209e1e36cf22cb902d7e6dc34113c7e5 (patch) | |
tree | 22de21d5d7d67779a23479eefe750124fae92602 /inc/poche/Tools.class.php | |
parent | 3352332f3fd1ee6452c951655d95fae2e3aaf264 (diff) | |
download | wallabag-2916d24b209e1e36cf22cb902d7e6dc34113c7e5.tar.gz wallabag-2916d24b209e1e36cf22cb902d7e6dc34113c7e5.tar.zst wallabag-2916d24b209e1e36cf22cb902d7e6dc34113c7e5.zip |
Added support for custom SSL port
Diffstat (limited to 'inc/poche/Tools.class.php')
-rw-r--r-- | inc/poche/Tools.class.php | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/inc/poche/Tools.class.php b/inc/poche/Tools.class.php index 6f2bc6e7..1d092823 100644 --- a/inc/poche/Tools.class.php +++ b/inc/poche/Tools.class.php | |||
@@ -42,13 +42,13 @@ class Tools | |||
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"]) && isset($SSL_PORT) //Custom HTTPS port detection | 45 | || (isset($_SERVER["SERVER_PORT"]) //Custom HTTPS port detection |
46 | && $_SERVER["SERVER_PORT"] == $SSL_PORT); | 46 | && $_SERVER["SERVER_PORT"] == SSL_PORT); |
47 | 47 | ||
48 | $serverport = (!isset($_SERVER["SERVER_PORT"]) | 48 | $serverport = (!isset($_SERVER["SERVER_PORT"]) |
49 | || $_SERVER["SERVER_PORT"] == '80' | 49 | || $_SERVER["SERVER_PORT"] == '80' |
50 | || ($https && $_SERVER["SERVER_PORT"] == '443') | 50 | || ($https && $_SERVER["SERVER_PORT"] == '443') |
51 | || ($https && $_SERVER["SERVER_PORT"]==$SSL_PORT) //Custom HTTPS port detection | 51 | || ($https && $_SERVER["SERVER_PORT"]==SSL_PORT) //Custom HTTPS port detection |
52 | ? '' : ':' . $_SERVER["SERVER_PORT"]); | 52 | ? '' : ':' . $_SERVER["SERVER_PORT"]); |
53 | 53 | ||
54 | $scriptname = str_replace('/index.php', '/', $_SERVER["SCRIPT_NAME"]); | 54 | $scriptname = str_replace('/index.php', '/', $_SERVER["SCRIPT_NAME"]); |