From 59fa03700ce2739cefdcf0a075080878638a0a7c Mon Sep 17 00:00:00 2001
From: Him188 <Him188@mamoe.net>
Date: Wed, 13 May 2020 10:40:28 +0800
Subject: [PATCH] Add User.isManager extension
---
.../kotlin/net/mamoe/mirai/console/utils/BotHelper.kt | 8 ++++++++
1 file changed, 8 insertions(+)
diff --git a/mirai-console/src/main/kotlin/net/mamoe/mirai/console/utils/BotHelper.kt b/mirai-console/src/main/kotlin/net/mamoe/mirai/console/utils/BotHelper.kt
index d4c2d7410..1c01500c2 100644
--- a/mirai-console/src/main/kotlin/net/mamoe/mirai/console/utils/BotHelper.kt
+++ b/mirai-console/src/main/kotlin/net/mamoe/mirai/console/utils/BotHelper.kt
@@ -13,8 +13,16 @@ import net.mamoe.mirai.Bot
import net.mamoe.mirai.console.MiraiConsole
import net.mamoe.mirai.console.plugins.*
import net.mamoe.mirai.console.utils.BotManagers.BOT_MANAGERS
+import net.mamoe.mirai.contact.User
import java.io.File
+
+/**
+ * 判断此用户是否为 console 管理员
+ */
+val User.isManager: Boolean
+ get() = this.bot.managers.contains(this.id)
+
@OptIn(ToBeRemoved::class)
internal object BotManagers {
val config = File("${MiraiConsole.path}/bot.yml").loadAsConfig()