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

Cast sql string to sql enum

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

2
Bot/Game.fs
View File

@ -7,7 +7,7 @@ open Degenz.DbService
open Degenz.Messaging open Degenz.Messaging
module Game = module Game =
let SameTargetAttackCooldown = System.TimeSpan.FromHours(2) let SameTargetAttackCooldown = System.TimeSpan.FromHours(1)
let getClassButtonColor = function let getClassButtonColor = function
| 0 -> ButtonStyle.Danger | 0 -> ButtonStyle.Danger

2
DbService/DbService.fs
View File

@ -125,7 +125,7 @@ let checkHasAchievement connStr (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 = @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)
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;
""" """