così dovrebbe funzionare....Codice PHP:
<?
$file=file_get_contents("pippo.txt"); // in una riga ottieni la lettura del file e il suo contenuto in una variabile
if (isset($_POST['n1']))
{
$tr = $_POST['n2'] ;
if ( strpos($tr, $file) )
{
echo "e..no";
}
else
{
echo "ok";
}
}
?>