Salve ,

ho questo codice tramite il quale ricavo e inserisco in un elenco menu il risultato.

La domanda è questa: ma se voglio stampare a video con una "echo" il numero dei record estratti nel menu??

Grazie per l'aiuto

Codice PHP:
<?

// creo la connessione al database
$connection mysql_connect("localhost","user","pass")
    or die(
"Impossibile stabilire la connessione.");

// seleziono il database
$db mysql_select_db("database"$connection)
    or die(
"Impossibile selezionare il database.");

// creo l'enunciato SQL
$sql "SELECT tth FROM segna
        ORDER BY punti ASC"
;

// eseguo la query SQL e ricevo i risultati
$sql_result mysql_query($sql,$connection)
    or die(
"Impossibile eseguire la query.");

// metto i dati nella lista di selezione
while ($row mysql_fetch_array($sql_result)) {

    
$punti  $row["punti"];
    
$option_block .= "<OPTION value=\"$punti\">$punti</OPTION>";
    
}

?>