From 3dbcbf5b64713e156e9015bc8cdcf1b49b06d77d Mon Sep 17 00:00:00 2001 From: Linus E <75929322+Rripped@users.noreply.github.com> Date: Mon, 9 May 2022 18:19:09 +0200 Subject: [PATCH] added no users check --- source/bot.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/bot.py b/source/bot.py index fb3f253..7625a78 100644 --- a/source/bot.py +++ b/source/bot.py @@ -190,7 +190,7 @@ def send_users(message): return users = session.query(User).all() - + if len(users) == 0: bot.reply_to(message, "No users registered.")