Update trainer db

This commit is contained in:
Joseph Ferano 2022-05-01 17:47:14 +07:00
parent 3e0e500182
commit 892db88c20
2 changed files with 6 additions and 6 deletions

View File

@ -269,8 +269,8 @@ let addAchievement (did : uint64) (achievement : string) =
[ ( "did" , Sql.string (string did) ) [ ( "did" , Sql.string (string did) )
( "symbol", Sql.string achievement ) ] ( "symbol", Sql.string achievement ) ]
|> Sql.query """ |> Sql.query """
WITH ach AS (SELECT id FROM achievement WHERE symbol = cast(@symbol AS achievement_symbol_enum)), WITH ach AS (SELECT id FROM achievement WHERE id = @symbol),
usr AS (SELECT id FROM "user" WHERE discord_id = @did) usr AS (SELECT id FROM "user" WHERE id = @did)
INSERT INTO user_achievements_achievement (user_id, achievement_id) SELECT usr.id, ach.id FROM usr, ach; INSERT INTO user_achievements_achievement (user_id, achievement_id) SELECT usr.id, ach.id FROM usr, ach;
""" """
|> Sql.executeNonQueryAsync |> Sql.executeNonQueryAsync
@ -284,9 +284,9 @@ let checkHasAchievement (did : uint64) (achievement : string) = async {
[ ( "did" , Sql.string (string did) ) [ ( "did" , Sql.string (string did) )
( "symbol", Sql.string achievement ) ] ( "symbol", Sql.string achievement ) ]
|> Sql.query """ |> Sql.query """
WITH ach AS (SELECT id FROM achievement WHERE symbol = cast(@symbol AS achievement_symbol_enum)), WITH ach AS (SELECT id FROM achievement WHERE id = @symbol),
usr AS (SELECT id FROM "user" WHERE discord_id = @did) usr AS (SELECT id FROM "user" WHERE id = @did)
SELECT achievement_id FROM user_achievements_achievement, ach, usr WHERE user_id = usr.id and achievement_id = ach.id; SELECT achievement_id FROM user_achievements_achievement, ach, usr WHERE user_id = usr.id AND achievement_id = ach.id;
""" """
|> Sql.executeAsync (fun read -> read.int "achievement_id") |> Sql.executeAsync (fun read -> read.int "achievement_id")
|> Async.AwaitTask |> Async.AwaitTask

View File

@ -7,7 +7,7 @@ open DSharpPlus.Entities
open Degenz.Types open Degenz.Types
open Degenz.Messaging open Degenz.Messaging
let TrainerAchievement = "FINISHED_TRAINER" let TrainerAchievement = "LEARN_TO_HACKER_BATTLE_QUEST_COMPLETED"
let Sensei = { Id = GuildEnvironment.botIdHackerBattle ; Name = "Sensei" } let Sensei = { Id = GuildEnvironment.botIdHackerBattle ; Name = "Sensei" }
let weapons = DbService.getWeapons () |> Async.RunSynchronously let weapons = DbService.getWeapons () |> Async.RunSynchronously
let hackItem = weapons |> Inventory.findItemById (int ItemId.Virus) let hackItem = weapons |> Inventory.findItemById (int ItemId.Virus)