Codice PHP:
<?php 
$results_counter
mysql_fetch_array(mysql_query("SELECT COUNT(*) AS `total` FROM collegamenti_marittimi,collegamenti_marittimi_porti, porti WHERE collegamenti_marittimi.id_collegamento=collegamenti_marittimi_porti.id_collegamento AND porti.id=collegamenti_marittimi_porti.id_porto AND collegamenti_marittimi.orario_di_partenza>'$orario' AND collegamenti_marittimi.orario_di_partenza <'$orario_fine' AND porti.nome_porto='$por' AND collegamenti_marittimi.destinazione='$porto_di_arrivo' " ));


if(
$results_counter['total'] == 0)
{           
  echo 
"Nessun risultato";
}        
else          
{

  
$query  =    mysql_query(" SELECT * FROM collegamenti_marittimi,collegamenti_marittimi_porti, porti WHERE collegamenti_marittimi.id_collegamento=collegamenti_marittimi_porti.id_collegamento AND porti.id=collegamenti_marittimi_porti.id_porto AND collegamenti_marittimi.orario_di_partenza>'$orario' AND collegamenti_marittimi.orario_di_partenza <'$orario_fine' AND porti.nome_porto='$por' AND collegamenti_marittimi.destinazione='$porto_di_arrivo' " );

  while (
$row=mysql_fetch_array($query))     
  {                      
    echo 
$row['orario_di_partenza'];                 
    echo 
$row['tipologia'];                 
    echo 
$row['compagnia'];              
  }         
}
              
?>
prova questo