From e16831cc83da1d91c2c428971b4c49c534455afa Mon Sep 17 00:00:00 2001 From: jesopo Date: Fri, 24 Jan 2020 16:42:23 +0000 Subject: [PATCH] better "!user" spec error --- src/core_modules/command_spec.py | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/src/core_modules/command_spec.py b/src/core_modules/command_spec.py index 920ce036..467361f6 100644 --- a/src/core_modules/command_spec.py +++ b/src/core_modules/command_spec.py @@ -58,10 +58,13 @@ class Module(ModuleManager.BaseModule): else: chunk = user error = "No such user" - elif spec_type == "user" and args: - chunk = server.get_user(args[0], create=False) - n = 1 - error = "No such user" + elif spec_type == "user": + if args: + chunk = server.get_user(args[0], create=False) + n = 1 + error = "No such user" + else: + error = "No user provided" elif spec_type == "ouser" and args: if server.has_user_id(args[0]): chunk = server.get_user(args[0])