PHP Config::set_output_dir Examples

Example #1

File: Handler.php Project: TechnoBotz/hack-hhvm-docs

 public function option_output($k, $v)
 {
     if (is_array($v)) {
         trigger_error("Only a single output location can be supplied", E_USER_ERROR);
     }
     if (!is_dir($v)) {
         mkdir($v, 0777, true);
     }
     if (!is_dir($v) || !is_readable($v)) {
         trigger_error(sprintf("'%s' is not a valid directory", $v), E_USER_ERROR);
     }
     $v = substr($v, strlen($v) - strlen(DIRECTORY_SEPARATOR)) == DIRECTORY_SEPARATOR ? $v : $v . DIRECTORY_SEPARATOR;
     Config::set_output_dir($v);
 }