Précédent   Forum des professionnels en informatique > PHP > PHP & SGBD > PHP & MySQL
PHP & MySQL Forum d'entraide sur les fonctions MySQL avec PHP. Avant de poster -> FAQ MySQL, Cours MySQL et Sources MySQL. Pour les questions concernant le moteur MySQL plutôt que les fonctions PHP, merci d'utiliser le forum MySQL.
Partagez cette discussion sur d'autres réseaux sociaux : Viadeo Twitter Google Facebook Digg Delicious MySpace Yahoo
Réponse Proposer ce sujet en actualité
 
Outils de la discussion
Publicité
Vieux 30/01/2010, 06h07   #1
Membre à l'essai
 
Inscription : mars 2007
Messages : 107
Détails du profil
Informations forums :
Inscription : mars 2007
Messages : 107
Points : 23
Points : 23
Par défaut Utilisation de mysql_free_result()

Bonsoir,

Est-ce que si on n'utilise pas la fonction mysql_free_result pour libèrer l'espace mémoire, est-ce que c'est grave ? Est-ce que il y a une sorte de Garbage Collector comme en Java ?

Merci.

J.
Jinx_ est déconnecté   Envoyer un message privé Réponse avec citation 00
Vieux 30/01/2010, 10h27   #2
Modérateur
 
Avatar de sabotage
 
Homme Vincent
Inscription : juillet 2005
Messages : 14 929
Détails du profil
Informations personnelles :
Nom : Homme Vincent

Informations forums :
Inscription : juillet 2005
Messages : 14 929
Points : 16 381
Points : 16 381
citation de la documentation :
Citation:
mysql_free_result() n'est à appeler que si vous avez peur d'utiliser trop de mémoire durant l'exécution de votre script. Toute la mémoire associée à l'identifiant de résultat sera automatiquement libérée.
sabotage est déconnecté   Envoyer un message privé Réponse avec citation 00
Vieux 31/01/2010, 21h03   #3
Membre à l'essai
 
Inscription : mars 2007
Messages : 107
Détails du profil
Informations forums :
Inscription : mars 2007
Messages : 107
Points : 23
Points : 23
Ok, merci. J'aurais du lire la doc.

J.
Jinx_ est déconnecté   Envoyer un message privé Réponse avec citation 00
Réponse Proposer ce sujet en actualité Cette discussion est résolue.
Outils de la discussion



Fuseau horaire GMT +1. Il est actuellement 21h20.


 
 
 
 
Partenaires

Hébergement Web