PHP/Programmazione/MySQL/Liberare memoria dai risultati di una query

Dopo aver lavorato sul risultato di una query è auspicabile liberare la memoria occupata:

• la funzione è mysql_free_result(risultato)

Completando l'esempio precedente while:

 //da notare l'uguale di assegnazione e non di confronto
 //che assegna a $r ad ogni iterazione il valore restituito dalla funzione...
 while ($r = mysql_fetch_array($risultato, MYSQL_BOTH) { 
 //stampa ad esempio i valori di una ipotetica tabella utenti sulla pagina
 echo $r['nome_utente']."<br/>;";
 echo $r['data_iscrizione']."<hr/>";
 }

// Libero la memoria
mysql_free_result($risultato);