add new theme courgette + new logo

[jirafeau.git] / install.php

diff --git a/install.php b/install.php
index 26ae291f0a974574cd211f2811500d12909d4079..87eaf60631c48092296ed03d4088e0e851078c7b 100755 (executable)
--- a/install.php
+++ b/install.php
@@ -24,7 +24,7 @@ define ('JIRAFEAU_CFG', JIRAFEAU_ROOT.'lib/config.local.php');
 define ('JIRAFEAU_VAR_RAND_LENGTH', 15);
 
 require (JIRAFEAU_ROOT . 'lib/lang.php');
-require (JIRAFEAU_ROOT . 'lib/config.php');
+require (JIRAFEAU_ROOT . 'lib/config.original.php');
 
 function
 jirafeau_quoted ($str)
@@ -40,7 +40,7 @@ jirafeau_export_cfg ($cfg)
     fwrite ($handle,
             '/* ' .
             t ('This file was generated by the install process. ' .
-               'You can edit it. Please see config.php to understand the ' .
+               'You can edit it. Please see config.original.php to understand the ' .
                'configuration items.') . ' */' . NL);
     foreach ($cfg as $key => $item)
     {
@@ -49,6 +49,8 @@ jirafeau_export_cfg ($cfg)
             fwrite ($handle, ($item ? 'true' : 'false'));
         else if (is_string ($item))
             fwrite ($handle, jirafeau_quoted ($item));
+        else if (is_int ($item))
+            fwrite ($handle, $item);
         else
             fwrite ($handle, 'null');
         fwrite ($handle, ';'.NL);
@@ -132,6 +134,11 @@ if (!file_exists (JIRAFEAU_CFG))
         exit;
     }
 }
+else
+{
+    header('Location: index.php');
+    exit;
+}
 
 if (!is_writable (JIRAFEAU_CFG) && !@chmod (JIRAFEAU_CFG, '0666'))
 {