bit
/
taskman_config
25
0
Fork 0
Code Issues 1 Pull Requests Actions Packages Projects Releases Wiki Activity

Further cleaning the package and removing project specific stuff

This commit is contained in:
Pavel Shevaev 2023-05-25 18:55:22 +03:00
parent 91ed9344f3
commit e2f7d07342
1 changed files with 0 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
config.inc.php
View File

@ -2,7 +2,6 @@
namespace taskman;
use Exception;
$GLOBALS['CONFIG_GLOBAL_DEPS'] = array();
$GLOBALS['CONFIG_BASE_DIRS'] = array();
$GLOBALS['CONFIG_INIT_WORKER_FUNC'] = null;
@ -73,29 +72,12 @@ function config_build_dir()
return "$GAME_ROOT/build/tmp/";
}
function config_set_global_deps(array $deps)
{
global $CONFIG_GLOBAL_DEPS;
$CONFIG_GLOBAL_DEPS = array();
foreach($deps as $d)
{
if(is_file($d))
$CONFIG_GLOBAL_DEPS[] = normalize_path($d);
}
}
function config_set_worker_init_fn($fn)
{
global $CONFIG_INIT_WORKER_FUNC;
$CONFIG_INIT_WORKER_FUNC = $fn;
}
function config_get_global_deps()
{
global $CONFIG_GLOBAL_DEPS;
return $CONFIG_GLOBAL_DEPS;
}
function config_scan_files()
{
return scan_files_rec(config_base_dirs(), array('conf.js'));