www/config.php

   1 <?php
   2
   3 // the config file, this is as exciting as it gets really
   4 $repo_base = "/tmp/gwvp-repos/";
   5 $lib_base = "../gwvplib/";
   6
   7
   8
   9 // nothing to configure from here
  10 $WEB_ROOT_FS = realpath(dirname(__FILE__));
  11 $BASE_URL = dirname($_SERVER["PHP_SELF"]);
  12
  13 global $WEB_ROOT_FS, $BASE_URL;
  14
  15 // add libglcas as if it were a path in ../libglcas
  16 if(file_exists($lib_base)) {
  17         $path = realpath($WEB_ROOT_FS."/$lib_base");
  18         error_log("addded $path as include");
  19         set_include_path(get_include_path().PATH_SEPARATOR.$path);
  20 }
  21
  22 ?>