Potential fix for leaderboards

Bot/PlayerInteractions.fs

@@ -85,6 +85,8 @@ module Commands =
 
     let leaderboard (ctx : InteractionContext) =
         async {
+//            do! ctx.CreateResponseAsync(InteractionResponseType.DeferredChannelMessageWithSource) |> Async.AwaitTask
+
             let builder = DiscordInteractionResponseBuilder()
             builder.IsEphemeral <- true
 
@@ -96,8 +98,9 @@ module Commands =
                 |> Array.mapi (fun i p -> { Position = string (i + 1) ; Amount = string p.Bank ; Name = p.Name })
                 |> Formatter.Format
             builder.Content <- if not <| String.IsNullOrEmpty content then $"```{content}```" else "There are no active hackers"
-            do! ctx.CreateResponseAsync(InteractionResponseType.ChannelMessageWithSource, builder)
+            do! ctx.Interaction.CreateResponseAsync(InteractionResponseType.ChannelMessageWithSource, builder)
                 |> Async.AwaitTask
+                |> Async.Ignore
         } |> Async.StartAsTask
         :> Task
 

DbService/DbService.fs

@@ -50,6 +50,11 @@ let updatePlayer player =
 
 let getTopPlayers number =
     async {
-        let! entries = players.Find(fun _ -> true).SortBy(fun e -> e.Player.Bank).Limit(Nullable<int>(number)).ToListAsync() |> Async.AwaitTask
+        let! entries =
+            players.Find(fun _ -> true)
+                   .Limit(Nullable<int>(number))
+                   .SortBy(fun e -> e.Player.Bank)
+                   .ToListAsync()
+                   |> Async.AwaitTask
         return entries |> Seq.map (fun e -> e.Player)
     }