Fixes #5149 Using PHP_SELF if PATH_INFO is empty or not set

8cf257df · Côme Chilliet · d31aa2f8 · 8cf257df
Commit 8cf257df authored 8 years ago by Côme Chilliet
Hide whitespace changes
Inline Side-by-side

Showing

with 5 additions and 1 deletion
+5 -1
--- a/html/class_passwordRecovery.inc
+++ b/html/class_passwordRecovery.inc
@@ -194,7 +194,11 @@ class standAlonePage {
    if ($port != '80') {
      $pageURL .= ':'.$port;
    }
-    $pageURL .= $_SERVER['PATH_INFO'];
+    if (empty($_SERVER['PATH_INFO'])) {
+      $pageURL .= $_SERVER['PHP_SELF'];
+    } else {
+      $pageURL .= $_SERVER['PATH_INFO'];
+    }
    return $pageURL;
  }