Exit after call to setup

diff --git a/index.php b/index.php
index a804a25d95b23200c7ef1c71d3c8d328a2b59a5d..4520f40107e4eb4bb6302294f1361425ce866db6 100644 (file)
--- 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