diff options
| -rw-r--r-- | engine/start.php | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/engine/start.php b/engine/start.php index 8b0e7dd14..5312d5093 100644 --- a/engine/start.php +++ b/engine/start.php @@ -26,13 +26,11 @@ } if (!@include_once(dirname(__FILE__) . "/lib/system_log.php")) { // Logging library - echo "Error in installation: could not load the System Log library."; - exit; + throw new InstallationException("Error in installation: could not load the System Log library."); } if (!@include_once(dirname(__FILE__) . "/lib/export.php")) { // Export library
- echo "Error in installation: could not load the Export library.";
- exit;
+ throw new InstallationException("Error in installation: could not load the Export library.");
}
/**
|