Read bot admin IDs set in .env file

OSDG-IIITH · Jun 5, 2024 · dc919a7 · dc919a7
1 parent c8a4972
commit dc919a7
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/.env.template b/.env.template
@@ -23,6 +23,7 @@ MONGO_URI="mongodb://127.0.0.1:100"
 
 # needed by ./bot
 DISCORD_TOKEN=""
+BOT_ADMINS=""
 
 # needed by ./portal
 CAS_LINK="https://cas.my-org.com/login"

diff --git a/bot/main.py b/bot/main.py
@@ -57,6 +57,8 @@
 SUBPATH = os.getenv("SUBPATH")
 BASE_URL = f"{PROTOCOL}://{HOST}{_PORT_AS_SUFFIX}{SUBPATH}"
 
+BOT_ADMINS = {int(id) for id in os.getenv("BOT_ADMINS", "").split(",") if id}
+
 intent = discord.Intents.default()
 intent.message_content = True
 bot = commands.Bot(command_prefix=".", intents=intent)