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

Tuning output a bit

This commit is contained in:
Pavel Shevaev 2023-03-29 19:25:56 +03:00
parent f637290975
commit 6bd6a8a4d3
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
taskman.inc.php
View File

@ -138,7 +138,7 @@ class TaskmanTask
run_many($this->_getDeps()); run_many($this->_getDeps());
} }
msg_sys("*** '" . $this->getName() . "' start ***\n"); msg_sys("***** '" . $this->getName() . "' start *****\n");
$bench = microtime(true); $bench = microtime(true);
@ -150,8 +150,8 @@ class TaskmanTask
if(!$TASKMAN_NO_DEPS) if(!$TASKMAN_NO_DEPS)
run_many($this->_getAfterDeps()); run_many($this->_getAfterDeps());
msg_sys("*** '" . $this->getName() . "' done(" . msg_sys("***** '" . $this->getName() . "' done(" .
round(microtime(true)-$bench,2) . '/' .round(microtime(true)-$TASKMAN_START_TIME,2) . " sec.) ***\n"); round(microtime(true)-$bench,2) . '/' .round(microtime(true)-$TASKMAN_START_TIME,2) . " sec.) *****\n");
$this->has_run[$args_str] = true; $this->has_run[$args_str] = true;
$this->is_running = false; $this->is_running = false;