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

Fixing main
Publish PHP Package / docker (push) Successful in 6s Details

This commit is contained in:
Pavel Shevaev 2025-03-24 09:53:07 +03:00
parent 8dc71ab534
commit e68ad37770
1 changed files with 4 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
taskman.inc.php
View File

@ -474,14 +474,11 @@ function main(
$tasks = $hints; $tasks = $hints;
else else
{ {
printf("ERROR! Task %s not found\n", $tasks[0]); $similars = '';
if($hints) if($hints)
{ $similars .= "\nSimilar tasks: " . implode(', ', $hints) . ".";
printf("Similar tasks:\n");
foreach($hints as $hint) throw new Exception("Task '{$tasks[0]}' not found. $similars");
printf(" %s\n", $hint);
}
exit(1);
} }
} }