Ecco cosa ho tirato fuori, pensandoci un pò, funziona perfettamente, a chiunque serva... :
Codice PHP:
<?
//Definisco la funzione
function ricerca($file) {
$var=file("$file.txt");
$i=count($var);
$i= $i - 1;
for($a=0; $a<=$i; $a++){
$varx = $var[$a];
$varx = ereg_replace(" ","",$varx);
$varx = trim($varx);
$nome = $_POST['nome'];
if ( ($nome == $varx) ) {
echo "[b]$nome[/b] è presente nel file $file.txt
";
}
}
}
?>
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<title>Ricerca</title>
</head>
<body>
<div align="center">
[b]Benvenuto!
[/b]</p>
<?
if (!isset($_GET['cerca'])) {
echo'<form name="form1" method="post" action="index.php?cerca">
Numero di telefono: <input type="text" name="npme"></p>
<input type="submit" name="Submit" value="Invia"></p></form>';
} else {
ricerca("file1");
ricerca("file2");
ricerca("file3");
}
?>
</div>
</body>
</html>
I file devono essere nel formato che ho detto prima... Per cercare in altri file basta aggiungere
Codice PHP:
ricerca("nome file senza estensione");
Ciao ciao