[Summary view] [Print] [Text view]

   1  <?php
   2      /*
   3      *  $Id: phpcoverage.inc.php 14670 2005-03-23 21:25:46Z npac $
   4      *  
   5      *  Copyright(c) 2004-2005, SpikeSource Inc. All Rights Reserved.
   6      *  Licensed under the Open Source License version 2.1
   7      *  (See http://www.spikesource.com/license.html)
   8      */
   9  ?>
  10  <?php
  11      global $PHPCOVERAGE_REPORT_DIR;
  12      global $PHPCOVERAGE_HOME;
  13      global $PHPCOVERAGE_APPBASE_PATH;
  14  
  15      $basedir = dirname(__FILE__);
  16      for($ii=1; $ii < $argc; $ii++) {
  17          if(strpos($argv[$ii], "PHPCOVERAGE_REPORT_DIR=") !== false) {
  18              parse_str($argv[$ii]);
  19          }
  20          else if(strpos($argv[$ii], "PHPCOVERAGE_HOME=") !== false) {
  21              parse_str($argv[$ii]);
  22          }
  23          else if(strpos($argv[$ii], "PHPCOVERAGE_APPBASE_PATH=") !== false) {
  24              parse_str($argv[$ii]);
  25          }
  26      }
  27  
  28      if(empty($PHPCOVERAGE_HOME)) {
  29          $envvar = getenv("PHPCOVERAGE_HOME");
  30          if(empty($envvar)) {
  31              $share_home = getenv("LOCAL_CACHE");
  32              $PHPCOVERAGE_HOME = $share_home . "/common/spikephpcoverage/src/";
  33          }
  34          else {
  35              $PHPCOVERAGE_HOME = $envvar;
  36          }
  37      }
  38  
  39      if(empty($PHPCOVERAGE_HOME) || !is_dir($PHPCOVERAGE_HOME)) {
  40          $msg = "ERROR: Could not locate PHPCOVERAGE_HOME [$PHPCOVERAGE_HOME]. ";
  41          $msg .= "Use 'php <filename> PHPCOVERAGE_HOME=/path/to/coverage/home'\n";
  42          die($msg);
  43      }
  44  
  45      // Fallback
  46      if(!defined("PHPCOVERAGE_HOME")) {
  47          $include_path = get_include_path();
  48          set_include_path($PHPCOVERAGE_HOME. PATH_SEPARATOR . $include_path);
  49          define('PHPCOVERAGE_HOME', $PHPCOVERAGE_HOME);
  50      }
  51  
  52      error_log("[phpcoverage.inc.php] PHPCOVERAGE_HOME=" . $PHPCOVERAGE_HOME);
  53      error_log("[phpcoverage.inc.php] PHPCOVERAGE_REPORT_DIR=" . $PHPCOVERAGE_REPORT_DIR);
  54      error_log("[phpcoverage.inc.php] PHPCOVERAGE_APPBASE_PATH=" . $PHPCOVERAGE_APPBASE_PATH);
  55  
  56  ?>