No more needed to delete install.php, now redirect to index.php if initial install...

Signed-off-by: Jerome Jutteau <mojo@couak.net>

diff --git a/install.php b/install.php
index d8e5fdfef6db07632340479f11f71c2e3bebc560..87eaf60631c48092296ed03d4088e0e851078c7b 100755 (executable)
--- a/install.php
+++ b/install.php
@@ -134,6 +134,11 @@ if (!file_exists (JIRAFEAU_CFG))
         exit;
     }
 }
+else
+{
+    header('Location: index.php');
+    exit;
+}
 
 if (!is_writable (JIRAFEAU_CFG) && !@chmod (JIRAFEAU_CFG, '0666'))
 {

diff --git a/lib/functions.php b/lib/functions.php
index 15c7a3e4f96a1c643e4c5a352fc0dee25f62891d..bc119a3a854f87af86106064089d133184a236a0 100755 (executable)
--- a/lib/functions.php
+++ b/lib/functions.php
@@ -515,12 +515,6 @@ function check_errors ()
 
      if (!is_writable (VAR_BLOCK))
         add_error (t('The block directory is not writable!'), VAR_BLOCK);
-
-   /* Check if the install.php script is still in the directory. */
-    if (file_exists (JIRAFEAU_ROOT . 'install.php'))
-        add_error (t('Installer script still present'),
-             t('Please make sure to delete the installer script ' .
-               '"install.php" before continuing.'));
 }
 
 /**