Ticket #645: 645-jSession-old-sessions-are-not-purged.diff

File 645-jSession-old-sessions-are-not-purged.diff, 0.7 kB (added by Julien, 5 months ago)

patch for the trunk

  • lib/jelix/core/jSession.class.php

    old new  
    3939 
    4040        if(isset($params['storage'])){ 
    4141 
     42            /* on debian/ubuntu (maybe others), garbage collector launch probability is set to 0 
     43               and replaced by a simple cron job which is not enough for jSession (different path, db storage, ...), 
     44               so we set it to 1 as PHP's default value */ 
     45            if(!ini_get('session.gc_probability')) 
     46                ini_set('session.gc_probability','1'); 
     47 
    4248            switch($params['storage']){ 
    4349 
    4450                case 'dao': 
Download in other formats: Original Format