Overview
Comment:Les fichiers index.html sont fournis par défaut dans l'archive de Garradin, pas besoin de ce code
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA1: 2a855676822e1e38e197ebc9d58e48e4a1e7809e
User & Date: bohwaz on 2014-03-31 15:02:54
Other Links: manifest | tags
Context
2014-03-31
16:34
Associer les opérations comptables aux cotisations membres check-in: 45c128dbf0 user: bohwaz tags: trunk
15:02
Les fichiers index.html sont fournis par défaut dans l'archive de Garradin, pas besoin de ce code check-in: 2a85567682 user: bohwaz tags: trunk
2014-03-26
18:03
Repasse champs requis check-in: 3c49d304ee user: bohwaz tags: trunk
Changes

Modified src/index.php from [5dd6160420] to [c3be9b45ef].

     6      6   
     7      7   // Juste une vérification avant de continuer
     8      8   if (!version_compare(phpversion(), '5.4.0', '>='))
     9      9   {
    10     10   	die('PHP 5.4.0 ou supérieur est nécessaire au fonctionnement de Garradin.');
    11     11   }
    12     12   
    13         -if (file_exists(__DIR__ . '/.garradinRootProcessed'))
    14         -{
    15         -	header('Location: www/');
    16         -	exit;
    17         -}
    18         -
    19         -// on empêche de lister les répertoires qui ne sont pas censés être publics
    20         -$dir = dir(__DIR__);
    21         -
    22         -while ($file = $dir->read())
    23         -{
    24         -	if ($file[0] == '.')
    25         -	{
    26         -		continue;
    27         -	}
    28         -
    29         -	if (!is_dir(__DIR__ . '/' . $file) || $file == 'www')
    30         -	{
    31         -		continue;
    32         -	}
    33         -
    34         -	file_put_contents(__DIR__ . '/' . $file . '/index.html',
    35         -		'<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML 2.0//EN">' .
    36         -		'<html><head><title>404 Not Found</title></head><body>' .
    37         -		'<h1>Not Found</h1><p>The requested URL was not found on this server.</p>' .
    38         -		'</body></html>');
    39         -}
    40         -
    41         -$dir->close();
    42         -
    43         -touch(__DIR__ . '/.garradinRootProcessed');
    44     13   header('Location: www/');
    45         -
    46         -?>