1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
|
if($dir == "index.php3" || $dir == "conf-recherche.php3" || $dir == "lib-recherche.php3") continue;
$iext=0;
$true=0;
while ($ext[$iext])
{
if(strpos($dir, ".".$ext[$iext].""))
{
$true=1;
}
$iext++;
}
if ($true==0) continue;
if(!($fichier = file($url.$dir)))
{
echo "je passe $dir" $dir $url.$dir;
echo "<font face='Verdana' size='2'>Impossible d'ouvrir le fichier $dir</font>";
continue;
}
$fichier = implode($fichier, ",");
$debut_titre = strpos($fichier, "<title>") + 7;
$fin_titre = strpos($fichier, "</title>");
$longueur = $fin_titre - $debut_titre;
if ($fin_titre != "" && $longueur != 0)
{
$titre = substr($fichier, $debut_titre, $longueur);
}
else
{
$titre = $dir;
} |
Partager