Fix cli.php users delete option

2022-12-10 16:47:50 +01:00 · 2022-12-10 16:47:50 +01:00 · 131d133af1
parent 20513e7f23
commit 131d133af1
1 changed files with 1 additions and 0 deletions
--- a/cli.php
+++ b/cli.php
@ -31,6 +31,7 @@ function cli__users($args) {
 		case 'delete':
 		case 'del':
 			$args = array_slice($args, 1);
+			if (count($args) !== 1) $help();
 			if (!isset($users[$args[0]]))
 				$msg = 'User "'.$args[0].'" does not exist.';
 			else {