Como hacer un buscador php

[jcxnet]

supongo que debe estar por aquí:

Código PHP:

  while($row = mysql_fetch_array($result)) {
printf("El E-mail es: %s", $row["correo"]);
} or die {
No se escribio nada o no se encontro resultados
} 
   

debería ser:

Código PHP:

  if(mysql_num_rows($result) == 0){ 
  die('No se escribio nada o no se encontro resultados');
}else{
 while($row = mysql_fetch_array($result)) {
   printf("El E-mail es: %s", $row["correo"]);
  } 
}