diff --git a/html/index.php b/html/index.php
index e832d6589..43c869f59 100755
--- a/html/index.php
+++ b/html/index.php
@@ -12,7 +12,7 @@
  *
  */
 
-$_SERVER['PATH_INFO'] = (isset($_SERVER['PATH_INFO']) ? $_SERVER['PATH_INFO'] : $_SERVER['ORIG_PATH_INFO']);
+$_SERVER['PATH_INFO'] = !empty($_SERVER['PATH_INFO']) ? $_SERVER['PATH_INFO'] : (!empty($_SERVER['ORIG_PATH_INFO']) ? $_SERVER['ORIG_PATH_INFO'] : '');
 
 function logErrors($errno, $errstr, $errfile, $errline) {
     global $php_debug;