From 6bd6a8a4d3d3148c3f5e82069e31d8451b2cddd1 Mon Sep 17 00:00:00 2001 From: Pavel Shevaev Date: Wed, 29 Mar 2023 19:25:56 +0300 Subject: [PATCH] Tuning output a bit --- taskman.inc.php | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/taskman.inc.php b/taskman.inc.php index b032483..a4fda5b 100644 --- a/taskman.inc.php +++ b/taskman.inc.php @@ -138,7 +138,7 @@ class TaskmanTask run_many($this->_getDeps()); } - msg_sys("*** '" . $this->getName() . "' start ***\n"); + msg_sys("***** '" . $this->getName() . "' start *****\n"); $bench = microtime(true); @@ -150,8 +150,8 @@ class TaskmanTask if(!$TASKMAN_NO_DEPS) run_many($this->_getAfterDeps()); - msg_sys("*** '" . $this->getName() . "' done(" . - round(microtime(true)-$bench,2) . '/' .round(microtime(true)-$TASKMAN_START_TIME,2) . " sec.) ***\n"); + msg_sys("***** '" . $this->getName() . "' done(" . + round(microtime(true)-$bench,2) . '/' .round(microtime(true)-$TASKMAN_START_TIME,2) . " sec.) *****\n"); $this->has_run[$args_str] = true; $this->is_running = false;