Assume an empty PATH_INFO is the root URL.

diff --git a/http/root_controller.php b/http/root_controller.php
index 43d16dad24b80ade384bc9e4b291ca6efa6a886a..6fdc682f48c5783903934b2696322035a36e6d50 100644 (file)
--- a/http/root_controller.php
+++ b/http/root_controller.php
@@ -92,7 +92,11 @@ class RootController
     // to:
     //    http://example.com/webapp/index.php/user/view/42
     // ... which then becomes accessible from PATH_INFO.
-    $url = $this->request->data['_SERVER']['PATH_INFO'];
+    $data = $this->request->data['_SERVER'];
+    if (isset($data['PATH_INFO']))
+      $url = $data['PATH_INFO'];
+    else
+      $url = '/';
     if ($url[0] == '/')
       $url = substr($url, 1);