From 737ace485b40ca166257683adb17539798c0a54f Mon Sep 17 00:00:00 2001
From: Pavel Shevaev <pacha.shevaev@gmail.com>
Date: Thu, 21 Jul 2022 10:57:36 +0300
Subject: [PATCH] Making it possible to specify the env name

---
 env.inc.php | 21 +++++++++++++++++----
 1 file changed, 17 insertions(+), 4 deletions(-)

diff --git a/env.inc.php b/env.inc.php
index 0483e76..303a8f2 100644
--- a/env.inc.php
+++ b/env.inc.php
@@ -2,6 +2,8 @@
 namespace taskman;
 use Exception;
 
+$GLOBALS['TASKMAN_ROOT_ENV_NAME'] = 'gamectl.props.php';
+
 task('envs', function()
 {
   global $GAME_ROOT;
@@ -46,16 +48,27 @@ function put_env(&$argv)
     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/gamectl.props.php"))
-    $env_filename = "$GAME_ROOT/gamectl.props.php";
+  else if($env_filename === null && file_exists("$GAME_ROOT/$root_env"))
+    $env_filename = "$GAME_ROOT/$root_env";
 
   if($env_filename)
     include($env_filename);
@@ -70,9 +83,9 @@ function get_env_file()
     $env = getenv("GAME_ENV");
 
   if($env)
-    $env_filename = $GAME_ROOT . "/env/$env.props.php";
+    $env_filename = "$GAME_ROOT/env/$env.props.php";
   else
-    $env_filename = $GAME_ROOT . '/gamectl.props.php';
+    $env_filename = "$GAME_ROOT/" . get_root_env_props_name();
 
   if(file_exists($env_filename))
     return $env_filename;