From e31174a2b72b3c272d7322d0758c9fedcaa59793 Mon Sep 17 00:00:00 2001 From: Karlatemp Date: Fri, 16 Oct 2020 18:13:56 +0800 Subject: [PATCH] Keep permissionName intact --- .../net/mamoe/mirai/console/permission/PermissionService.kt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/backend/mirai-console/src/main/kotlin/net/mamoe/mirai/console/permission/PermissionService.kt b/backend/mirai-console/src/main/kotlin/net/mamoe/mirai/console/permission/PermissionService.kt index 0a6c39f89..32e3d57fd 100644 --- a/backend/mirai-console/src/main/kotlin/net/mamoe/mirai/console/permission/PermissionService.kt +++ b/backend/mirai-console/src/main/kotlin/net/mamoe/mirai/console/permission/PermissionService.kt @@ -155,7 +155,7 @@ public interface PermissionService

{ reason: PluginPermissionIdRequestType ) = PermissionId( plugin.name.toLowerCase().replace(' ', '.'), - permissionName + permissionName.toLowerCase() ) public fun PermissionId.findCorrespondingPermission(): Permission? = INSTANCE[this]