diff options
| -rw-r--r-- | index.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/index.php b/index.php index a804a25d95b..4520f40107e 100644 --- a/index.php +++ b/index.php @@ -38,6 +38,7 @@ if(count($errors) > 0) { // Setup required : elseif($not_installed OR $install_called) { require_once('setup.php'); + exit(); } if($_SERVER['REQUEST_METHOD']=='PROPFIND'){//handle webdav |