diff options
author | Heesung Ahn <ahn.heesung@gmail.com> | 2015-03-30 16:11:01 +0200 |
---|---|---|
committer | Heesung Ahn <ahn.heesung@gmail.com> | 2015-03-30 16:11:01 +0200 |
commit | 23fe2056a151bf7360b9852bda94216b7169bedf (patch) | |
tree | 0b822d5a9902325419c02a694f9a8d6c68fa7a07 | |
parent | 4924115bdf8042850e7934d0ab66fe451e7c778b (diff) | |
parent | 5bd58a94f541e67853e2ee78b39c0cdbc7b7c669 (diff) |
Merge origin/develop into UnitTest_Lang_test
-rw-r--r-- | system/core/URI.php | 15 |
1 files changed, 9 insertions, 6 deletions
diff --git a/system/core/URI.php b/system/core/URI.php index e96749456..2211e3665 100644 --- a/system/core/URI.php +++ b/system/core/URI.php @@ -205,13 +205,16 @@ class CI_URI { $query = isset($uri['query']) ? $uri['query'] : ''; $uri = isset($uri['path']) ? $uri['path'] : ''; - if (strpos($uri, $_SERVER['SCRIPT_NAME']) === 0) + if (isset($_SERVER['SCRIPT_NAME'][0])) { - $uri = (string) substr($uri, strlen($_SERVER['SCRIPT_NAME'])); - } - elseif (strpos($uri, dirname($_SERVER['SCRIPT_NAME'])) === 0) - { - $uri = (string) substr($uri, strlen(dirname($_SERVER['SCRIPT_NAME']))); + if (strpos($uri, $_SERVER['SCRIPT_NAME']) === 0) + { + $uri = (string) substr($uri, strlen($_SERVER['SCRIPT_NAME'])); + } + elseif (strpos($uri, dirname($_SERVER['SCRIPT_NAME'])) === 0) + { + $uri = (string) substr($uri, strlen(dirname($_SERVER['SCRIPT_NAME']))); + } } // This section ensures that even on servers that require the URI to be in the query string (Nginx) a correct |