diff options
-rw-r--r-- | sanity_check.php | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/sanity_check.php b/sanity_check.php index 17937a3f7..e518a8c26 100644 --- a/sanity_check.php +++ b/sanity_check.php @@ -151,6 +151,10 @@ $err_msg = "PHP: DOMDocument extension not found."; } + if (!ISCONFIGURED) { + $err_msg = "config: please read config.php completely."; + } + if ($err_msg) { print "<b>Fatal Error</b>: $err_msg\n"; exit; |