=== modified file 'index.php'
--- index.php	2006-01-27 18:51:51 +0000
+++ index.php	2006-12-05 16:45:46 +0000
@@ -13,22 +13,22 @@ require_once './includes/bootstrap.inc';
 drupal_bootstrap(DRUPAL_BOOTSTRAP_FULL);
 
 $return = menu_execute_active_handler();
-switch ($return) {
-  case MENU_NOT_FOUND:
-    drupal_not_found();
-    break;
-  case MENU_ACCESS_DENIED:
-    drupal_access_denied();
-    break;
-  case MENU_SITE_OFFLINE:
-    drupal_site_offline();
-    break;
-  default:
-    // Print any value (including an empty string) except NULL or undefined:
-    if (isset($return)) {
-      print theme('page', $return);
-    }
-    break;
+if (is_int($return)) {
+  switch ($return) {
+    case MENU_NOT_FOUND:
+      drupal_not_found();
+      break;
+    case MENU_ACCESS_DENIED:
+      drupal_access_denied();
+      break;
+    case MENU_SITE_OFFLINE:
+      drupal_site_offline();
+      break;
+  }
+}
+elseif (isset($return)) {
+  // Print any value (including an empty string) except NULL or undefined:
+  print theme('page', $return);
 }
 
 drupal_page_footer();