From fe3b5a0a2f88649c909ae6cdc2b0df6c957559e8 Mon Sep 17 00:00:00 2001 From: Romain Dessort Date: Tue, 22 May 2012 08:11:20 +0000 Subject: [PATCH] Escape _. --- support/php.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/support/php.tex b/support/php.tex index 2558fcb..fb2c7d4 100644 --- a/support/php.tex +++ b/support/php.tex @@ -174,7 +174,7 @@ On v \subsection{Gestion des sessions} -Lorsque des sessions PHP sont utilisées (fonctions session_*() dans le code), des informations sont stockées côté serveur. Le navigateur conserve uniquement identifiant pour accéder à ces informations, stockés dans un cookie ou une variable du type PHPSESSID dans l'URL (cela tend à être obsolète).\\ +Lorsque des sessions PHP sont utilisées (fonctions session\_*() dans le code), des informations sont stockées côté serveur. Le navigateur conserve uniquement identifiant pour accéder à ces informations, stockés dans un cookie ou une variable du type PHPSESSID dans l'URL (cela tend à être obsolète).\\ Par défaut, ces informations sont conservées dans des fichiers sur le disque (un fichier par session) mais il est conseillé d'utiliser une méthode plus performante si vous avez un serveur dédié : monter simplement le répertoire des sessions pour un mono-serveur, ou déléguer la gestion des sessions à un service annexe (Memcached, Redis ou Kyoto Tycoon).\\