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

Adding --bench option to show basic tasks bench info
Publish PHP Package / docker (push) Successful in 7s Details

This commit is contained in:
Pavel Shevaev 2025-04-28 14:38:12 +03:00
parent 058ab92420
commit ade0ef5373
2 changed files with 14 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
internal.inc.php
View File

@ -171,6 +171,7 @@ function _process_argv(array &$argv)
global $TASKMAN_BATCH; global $TASKMAN_BATCH;
global $TASKMAN_NO_DEPS; global $TASKMAN_NO_DEPS;
global $TASKMAN_FILE_CHANGES; global $TASKMAN_FILE_CHANGES;
global $TASKMAN_SHOW_BENCH;
$filtered = array(); $filtered = array();
$process_defs = false; $process_defs = false;
@ -185,10 +186,6 @@ function _process_argv(array &$argv)
$filtered[] = $argv[$j]; $filtered[] = $argv[$j];
break; break;
} }
else if($v == '-D')
{
$process_defs = true;
}
else if($v == '-V') else if($v == '-V')
{ {
$TASKMAN_LOG_LEVEL = 2; $TASKMAN_LOG_LEVEL = 2;
@ -213,6 +210,10 @@ function _process_argv(array &$argv)
{ {
$TASKMAN_NO_DEPS = true; $TASKMAN_NO_DEPS = true;
} }
else if($v == '--bench')
{
$TASKMAN_SHOW_BENCH = true;
}
else if($v == '-c') else if($v == '-c')
{ {
if(!isset($argv[$i+1])) if(!isset($argv[$i+1]))
@ -229,6 +230,10 @@ function _process_argv(array &$argv)
++$i; ++$i;
} }
else if($v == '-D')
{
$process_defs = true;
}
else if($process_defs) else if($process_defs)
{ {
$eq_pos = strpos($v, '='); $eq_pos = strpos($v, '=');
@ -308,12 +313,12 @@ function _show_bench(array $tasks, int $limit = 5)
if(!$times) if(!$times)
return; return;
\taskman\log(2, "Top ".count($times)." time consuming tasks:\n"); \taskman\log(1, "Top ".count($times)." time consuming tasks:\n");
$n = 0; $n = 0;
foreach($times as $name => $time) foreach($times as $name => $time)
{ {
++$n; ++$n;
\taskman\log(2, "$n) Task '$name': $time sec\n"); \taskman\log(1, "$n) Task '$name': $time sec\n");
} }
} }

4
taskman.inc.php
View File

@ -16,6 +16,7 @@ $GLOBALS['TASKMAN_LOGGER'] = '\taskman\internal\_default_logger';
$GLOBALS['TASKMAN_ERROR_HANDLER'] = null; $GLOBALS['TASKMAN_ERROR_HANDLER'] = null;
$GLOBALS['TASKMAN_START_TIME'] = 0; $GLOBALS['TASKMAN_START_TIME'] = 0;
$GLOBALS['TASKMAN_FILES_CHANGES'] = null; $GLOBALS['TASKMAN_FILES_CHANGES'] = null;
$GLOBALS['TASKMAN_SHOW_BENCH'] = false;
include_once(__DIR__ . '/internal.inc.php'); include_once(__DIR__ . '/internal.inc.php');
include_once(__DIR__ . '/util.inc.php'); include_once(__DIR__ . '/util.inc.php');
@ -525,7 +526,8 @@ function main(
else if($default_task) else if($default_task)
run($default_task, $argv); run($default_task, $argv);
internal\_show_bench($task_objs); if($GLOBALS['TASKMAN_SHOW_BENCH'])
internal\_show_bench($task_objs);
log(0, "***** All done (".round(microtime(true)-$GLOBALS['TASKMAN_START_TIME'],2)." sec.) *****\n"); log(0, "***** All done (".round(microtime(true)-$GLOBALS['TASKMAN_START_TIME'],2)." sec.) *****\n");
} }