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 {
  16     echo "\$ $cmd\n";
  17     passthru($cmd, $status);
  18     echo "\n";
  19     if ($status) exit($status);
  20 }
  21
  22 $php = empty($_SERVER['argv'][1]) ? 'php' : $_SERVER['argv'][1];
  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