From 8599bf30efc3f4249545d6efee7e10c5a88336dd Mon Sep 17 00:00:00 2001 From: Vincent Lee Date: Wed, 21 Sep 2022 17:13:14 -0700 Subject: [PATCH] Fix register/update/delete feedback again --- frontends/discord.rkt | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/frontends/discord.rkt b/frontends/discord.rkt index a3669dc..4ffdf7d 100644 --- a/frontends/discord.rkt +++ b/frontends/discord.rkt @@ -474,7 +474,7 @@ name (strip-backticks body) (message-author-id (current-message)) (discord-timestamp-to-unix (hash-ref (current-message) 'timestamp)))) - (result-case values error-response result)) + (result-case list error-response result)) (define/command/trick (show-trick name _body) " [_name_]: show metadata and source for the trick [_name_]" @@ -495,11 +495,11 @@ (define/command/trick (update-trick name body) " [_name_] [_code_]: change the source of the trick [_name_]; requires ownership or administrator" - (result-case values error-response (send (current-backend) update name (strip-backticks body)))) + (result-case list error-response (send (current-backend) update name (strip-backticks body)))) (define/command/trick (delete-trick name _body) " [_name_]: delete the trick [_name_]; requires ownership or administrator and cannot be undone!" - (result-case values error-response (send (current-backend) delete name))) + (result-case list error-response (send (current-backend) delete name))) (define/command (popular text) ": show a leaderboard of popular tricks" -- 2.38.5