diff --git a/scripts/decache.php b/scripts/decache.php new file mode 100644 index 0000000000..b18eaa2cd3 --- /dev/null +++ b/scripts/decache.php @@ -0,0 +1,59 @@ +#!/usr/bin/env php +. + */ + +# Abort if called from a web server +if (isset($_SERVER) && array_key_exists('REQUEST_METHOD', $_SERVER)) { + print "This script must be run from the command line\n"; + exit(1); +} + +ini_set("max_execution_time", "0"); +ini_set("max_input_time", "0"); +set_time_limit(0); +mb_internal_encoding('UTF-8'); + +define('INSTALLDIR', realpath(dirname(__FILE__) . '/..')); +define('LACONICA', true); + +require_once(INSTALLDIR . '/lib/common.php'); + +if ($argc < 3 || $argc > 4) { + print "USAGE: decache.php