diff --git a/config.inc.php b/config.inc.php index 86a8f3d..11ce465 100644 --- a/config.inc.php +++ b/config.inc.php @@ -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'));