JosephFerano/discord-bot-game
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Check columns for null

Browse Source
This commit is contained in:
Joseph Ferano 2022-03-06 18:34:22 +07:00
parent 18735fda2d
commit 58ce653bc0
2 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Bot/Bot.fs
View File

@ -91,7 +91,7 @@ GuildEnvironment.botUserArmory <- Some storeBot.CurrentUser
//stealBot.ConnectAsync() |> Async.AwaitTask |> Async.RunSynchronously //stealBot.ConnectAsync() |> Async.AwaitTask |> Async.RunSynchronously
inviterBot.ConnectAsync() |> Async.AwaitTask |> Async.RunSynchronously //inviterBot.ConnectAsync() |> Async.AwaitTask |> Async.RunSynchronously
let rec loop areBotsRunning = let rec loop areBotsRunning =

10
Bot/DbService.fs
View File

@ -83,12 +83,12 @@ let tryFindPlayer (discordId : uint64) = async {
{ {
DiscordId = read.string "discord_id" |> uint64 DiscordId = read.string "discord_id" |> uint64
Name = read.string "display_name" Name = read.string "display_name"
Bank = read.int "gbt" * 1<GBT> Bank = read.intOrNone "gbt" |> Option.map ((*) 1<GBT>) |> Option.defaultValue 0<GBT>
Inventory = inv |> Array.toList Inventory = inv |> Array.toList
Strength = read.int "strength" Strength = read.intOrNone "strength" |> Option.defaultValue 0
Focus = read.int "focus" Focus = read.intOrNone "focus" |> Option.defaultValue 0
Charisma = read.int "charisma" Charisma = read.intOrNone "charisma" |> Option.defaultValue 0
Luck = read.int "luck" Luck = read.intOrNone "luck" |> Option.defaultValue 0
}) })
|> Async.AwaitTask |> Async.AwaitTask
match List.tryHead user with match List.tryHead user with