Ver Mensaje Individual
  #10 (permalink)  
Antiguo 04/04/2006, 06:28
Avatar de moron
moron
 
Fecha de Ingreso: mayo-2004
Mensajes: 972
Antigüedad: 19 años, 11 meses
Puntos: 2
acabo de probarlo asi y funciona:
<?php
$palabra="jose";

$archivo=file ("notas.txt");
$encontrado=false;

for ($i=0;$i<sizeof("$archivo");$i++)
{

if ($archivo[$i]=="$palabra") {
echo "ok";
$encontrado= true;
}
}

if($encontrado == false){
echo "busqueda fallida";
}
?>