Déconnexion

Version imprimable

16/05/2006, 12h05
zoreil

Déconnexion

Bonjour a tous

Je vais rentrer directement dans le vif du sujet, est-il possible de déconnecte une session au bout d'un certain nombre de temps "d'inactivité"?

Merci davance pour vos réponses :lol:
16/05/2006, 12h10
ouatmad

oui c'est possible en modifiant la valeur d'une directeur de ton fichier de config php voir session_lifetime ou quelque chose de ce genre
16/05/2006, 12h10
Eusebius

Citation:

Envoyé par zoreil

Bonjour a tous

Je vais rentrer directement dans le vif du sujet, est-il possible de déconnecte une session au bout d'un certain nombre de temps "d'inactivité"?

Merci davance pour vos réponses :lol:

C'est le comportement par défaut...
16/05/2006, 12h12
Eusebius

Citation:

Envoyé par ouatmad

voir session_lifetime ou quelque chose de ce genre

Je dirais session.cache-expire
http://fr2.php.net/manual/fr/functio...che-expire.php
16/05/2006, 12h15
zoreil

En faite j'avais déja mis un post de ce genre mais on m'avais conseillé d'utiliser cookies _lifetime. Le problème avec cet variable, c'est qu'elle déconnecte meme si on est dessus en pleine activité. Sa ne m'interresse pas.
16/05/2006, 13h46
zoreil

Personne n'a jamais configurer son .ini pour deconnecter au bout d'un certain temps d'inactivité?
16/05/2006, 14h09
billoum

Salut,

tu peux toujours faire comme dans ce tuto. Tu enregistres l'heure à laquelle l'utilisateur a demandé une page pour la derniere fois .
Quand il demandera une nouvelle page, tu la compareras avec l'heure actuelle.

Si tu veux absolument passer par le php.ini, la solution d'eusebius me semble être la bonne.
16/05/2006, 16h31
zoreil

C'est dur la gestion de l'heure non?

non c'est pas trs dur ;o)

voila une petite fonction sympa, suffit de la modifier un pue pou rfaire ce que tu veux ;o)

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
    /***
     * fonction qui va calculer le nombre de jours et d'heure de différence entre 2 dates
     * retourne $diff =
     * Array
     * (
     *   [heures] => 390
     *   [jours] => 16
     * )
     */ 
    function getDiff($_d1, $_d2) {
        $td1 = explode("-", $_d1);
        $td2 = explode("-", $_d2);
        $tmp1=mktime(0,0,0,$td1[1],$td1[2],$td1[0]);
        $tmp2 = mktime(0,0,0,$td2[1],$td2[2],$td2[0]);
 
        $diff_date = abs($tmp2-$tmp1);
        $diff['heures'] = (int)($diff_date/(60*60));
        $diff['jours'] = (int)($diff_date/(60*60*24));
        return $diff;
    }