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

This one too

Browse Source
This commit is contained in:
Joseph Ferano 2022-02-24 19:00:18 +07:00
parent f6370386b4
commit 663c63530d
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
DbService/DbService.fs
View File

@ -110,7 +110,7 @@ let addAchievement connStr (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 = @symbol), WITH ach AS (SELECT id FROM achievement WHERE symbol = cast(@symbol AS achievement_symbol_enum)),
usr AS (SELECT id FROM "user" WHERE discord_id = @did) usr AS (SELECT id FROM "user" WHERE discord_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;
""" """