Comment utiliser ini_set ?
Salut à tous,
J'aimerais savoir comment utiliser cette commande, sachant que mon site est hébergé sur un serveur mutualisé et que j'aimerais modifier certaines propriétés du php.ini.
Par exemple, je souhaiterais modifier le temps max d'une session; faut-il que je rajoute le code suivant au début de ma page php qui contient mon formulaire d'identification ?
Code:
1 2 3 4 5
|
<?php
ini_set('session.gc_maxlifetime', '2000');
echo ini_get('session.gc_maxlifetime')."<br />";
?> |
Merci pour votre aide.