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

Restoring stuff
Publish PHP Package / docker (push) Successful in 10s Details

This commit is contained in:
Pavel Shevaev 2025-03-06 13:19:36 +03:00
parent 5cae1bf622
commit 3052d68f9b
2 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
internal.inc.php
View File

@ -97,8 +97,6 @@ function _get_task_candidates()
//get tasks defined as closures //get tasks defined as closures
foreach($TASKMAN_CLOSURES as $name => $args) foreach($TASKMAN_CLOSURES as $name => $args)
{ {
if(isset($cands[$name]))
throw new Exception("Task '$name' is already defined");
$cands[$name] = $args; $cands[$name] = $args;
} }

3
util.inc.php
View File

@ -74,6 +74,9 @@ function task($name)
{ {
global $TASKMAN_CLOSURES; global $TASKMAN_CLOSURES;
if(isset($TASKMAN_CLOSURES[$name]))
throw new TaskmanException("Task '$name' is already defined");
$args = func_get_args(); $args = func_get_args();
$TASKMAN_CLOSURES[$name] = $args; $TASKMAN_CLOSURES[$name] = $args;
} }