maintenance/flush.php

   1 #!/usr/bin/php
   2 <?php
   3
   4 chdir(dirname(__FILE__));
   5 require_once 'common.php';
   6 assertCli();
   7
   8 /**
   9  * @file
  10  * Runs all generation/flush cache scripts to ensure that somewhat volatile
  11  * generated files are up-to-date.
  12  */
  13
  14 function e($cmd) {
  15     echo "\$ $cmd\n";
  16     passthru($cmd, $status);
  17     echo "\n";
  18     if ($status) exit($status);
  19 }
  20
  21 $php = $_SERVER['argv'][1];
  22 if (!$php) $php = 'php';
  23
  24 e($php . ' generate-includes.php');
  25 e($php . ' generate-schema-cache.php');
  26 e($php . ' flush-definition-cache.php');
  27 e($php . ' generate-standalone.php');
  28 e($php . ' config-scanner.php');
  29
  30 // vim: et sw=4 sts=4