sessiongc.php 1.1 KB

12345678910111213141516171819202122232425262728293031323334
  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. define('INSTALLDIR', dirname(__DIR__));
  18. $helptext = <<<END_OF_GC_HELP
  19. sessiongc.php
  20. Delete old sessions from the server
  21. END_OF_GC_HELP;
  22. require_once INSTALLDIR.'/scripts/commandline.inc';
  23. $maxlifetime = ini_get('session.gc_maxlifetime');
  24. print "Deleting sessions older than $maxlifetime seconds.\n";
  25. InternalSessionHandler::gc($maxlifetime);