taskman_env/env.inc.php

<?php
namespace taskman;
use Exception;

$GLOBALS['TASKMAN_ROOT_ENV_NAME'] = 'gamectl.props.php';

task('envs', function()
{
  global $GAME_ROOT;
  $dir = $GAME_ROOT."/env/";
  
  echo "=== Available envs ===\n";

  $results = scan_files_rec(array($dir), array(".props.php"));
      
  foreach($results as $file)
    echo str_replace(".props.php", "", str_replace($dir, "", $file)) . "\n";
});

function put_env(&$argv)
{
  global $GAME_ROOT;

  $env = '';
  $filtered = array();
  for($i=0;$i<sizeof($argv);++$i)
  {
    $v = $argv[$i];

    if(strpos($v, "--env") === 0)
    {
      list($tmp, $env) = explode("=", $v);
      continue;
    }
    else
      $filtered[] = $v;
  }
  $argv = $filtered;

  //GAME_ENV env. variable has top priority
  if(getenv("GAME_ENV"))
    $env = getenv("GAME_ENV");

  if($env)
    putenv("GAME_ENV=$env");
  //default one
  else
    putenv("GAME_ENV=");
}

function set_root_env_name($root_name)
{
  $GLOBALS['TASKMAN_ROOT_ENV_NAME'] = $root_name;
}

function get_root_env_name()
{
  return $GLOBALS['TASKMAN_ROOT_ENV_NAME'];
}

function include_env()
{
  global $GAME_ROOT;

  $env_filename = get_env_file();
  $root_env = get_root_env_name();

  if($env_filename && !file_exists($env_filename))
    throw new Exception("Error setting environment. No such env file $env_filename");
  else if($env_filename === null && file_exists("$GAME_ROOT/$root_env"))
    $env_filename = "$GAME_ROOT/$root_env";

  if($env_filename)
    include($env_filename);
}

function get_env_file()
{
  global $GAME_ROOT;

  $env = '';
  if(getenv("GAME_ENV"))
    $env = getenv("GAME_ENV");

  if($env)
    $env_filename = "$GAME_ROOT/env/$env.props.php";
  else
    $env_filename = "$GAME_ROOT/" . get_root_env_name();

  if(file_exists($env_filename))
    return $env_filename;

  return null;
}