scripts/sessiongc.php

   1 #!/usr/bin/env php
   2 <?php
   3 // This file is part of GNU social - https://www.gnu.org/software/social
   4 //
   5 // GNU social is free software: you can redistribute it and/or modify
   6 // it under the terms of the GNU Affero General Public License as published by
   7 // the Free Software Foundation, either version 3 of the License, or
   8 // (at your option) any later version.
   9 //
  10 // GNU social is distributed in the hope that it will be useful,
  11 // but WITHOUT ANY WARRANTY; without even the implied warranty of
  12 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  13 // GNU Affero General Public License for more details.
  14 //
  15 // You should have received a copy of the GNU Affero General Public License
  16 // along with GNU social.  If not, see <http://www.gnu.org/licenses/>.
  17
  18 define('INSTALLDIR', dirname(__DIR__));
  19 define('PUBLICDIR', INSTALLDIR . DIRECTORY_SEPARATOR . 'public');
  20
  21 $helptext = <<<END_OF_GC_HELP
  22 sessiongc.php
  23
  24 Delete old sessions from the server
  25
  26 END_OF_GC_HELP;
  27
  28 require_once INSTALLDIR.'/scripts/commandline.inc';
  29
  30 $maxlifetime = ini_get('session.gc_maxlifetime');
  31
  32 print "Deleting sessions older than $maxlifetime seconds.\n";
  33
  34 InternalSessionHandler::gc($maxlifetime);