diff --git a/resources/classes/menu.php b/resources/classes/menu.php index 97f34300d3..68df039995 100644 --- a/resources/classes/menu.php +++ b/resources/classes/menu.php @@ -54,8 +54,14 @@ $config_list = glob($_SERVER["DOCUMENT_ROOT"] . PROJECT_PATH . "/*/*/app_menu.php"); $x=0; foreach ($config_list as &$config_path) { - include($config_path); - $x++; + try { + include($config_path); + $x++; + } + catch (Exception $e) { + echo 'exception caught: ' . $e->getMessage() . "\n"; + exit; + } } //begin the transaction