sessiongc.php 1.1 KB

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