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

Printing execution times alongside to workers
Publish PHP Package / docker (push) Successful in 5s Details

This commit is contained in:
Pavel Shevaev 2024-04-23 18:19:22 +03:00
parent 7de6cf61c8
commit fd876d28e2
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
config.inc.php
View File

@ -581,6 +581,7 @@ function _config_worker_func(array $job, array $includes_map, bool $force, bool
if(is_callable($CONFIG_INIT_WORKER_FUNC)) if(is_callable($CONFIG_INIT_WORKER_FUNC))
$CONFIG_INIT_WORKER_FUNC(); $CONFIG_INIT_WORKER_FUNC();
$start_time = microtime(true);
list($idx, $files) = $job; list($idx, $files) = $job;
if($verbose) if($verbose)
echo "Worker $idx (" . sizeof($files) . ") started\n"; echo "Worker $idx (" . sizeof($files) . ") started\n";
@ -607,7 +608,7 @@ function _config_worker_func(array $job, array $includes_map, bool $force, bool
$results[$file] = array($cache_file, $is_stale); $results[$file] = array($cache_file, $is_stale);
} }
if($verbose) if($verbose)
echo "Worker $idx done\n"; echo "Worker $idx done (".round(microtime(true)-$start_time, 2)." sec)\n";
return $results; return $results;
} }