From 131d133af12173cc35757749974d1fd83fe74a1c Mon Sep 17 00:00:00 2001
From: Bofh <bofh@nogafam.es>
Date: Sat, 10 Dec 2022 16:47:50 +0100
Subject: [PATCH] Fix cli.php users delete option

---
 cli.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/cli.php b/cli.php
index 72d7ae8..be5139c 100644
--- 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 {