From c95f6c642da8fc29ad37c3a2d15a21c0ab821ca0 Mon Sep 17 00:00:00 2001 From: Joseph Ferano Date: Thu, 4 Aug 2022 15:39:50 +0700 Subject: [PATCH] Shouldn't need this --- Bot/Admin.fs | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) diff --git a/Bot/Admin.fs b/Bot/Admin.fs index e431416..bdc0d05 100644 --- a/Bot/Admin.fs +++ b/Bot/Admin.fs @@ -275,13 +275,6 @@ type AdminBot() = else Messaging.sendSimpleResponse ctx $"You are not admin" |> Async.StartAsTask :> Task - let enforceMod (ctx : IDiscordContext) (modFn : IDiscordContext -> Task) = - let isMod = Seq.exists (fun (role : DiscordRole) -> role.Id = 941379834163109978uL) (ctx.GetDiscordMember().Roles) - if isMod then - modFn ctx - else - Messaging.sendSimpleResponse ctx $"You are not a mod" |> Async.StartAsTask :> Task - [] [] member this.GetAttributions (ctx : InteractionContext, [] user : DiscordUser) = @@ -324,7 +317,7 @@ type AdminBot() = member this.ResstockMerris (ctx : InteractionContext, [] itemId : MerrisItem, [] amount : int64) = - enforceAdmin (DiscordInteractionContext ctx) (restockMerris itemId (int amount)) + restockMerris itemId (int amount) (DiscordInteractionContext ctx) // [] // member this.ToggleRaffle (ctx : InteractionContext, [] enable : EnableDisable) =