chore: merge branch dev to main #94

Merged
Anri merged 6 commits from dev into main 2023-04-27 22:11:29 +02:00
Showing only changes of commit 4369dfae60 - Show all commits

View file

@ -158,8 +158,14 @@ export default {
loc_default?.get(`c_${filename}_opt1_name`) as string,
true
);
const results = await player.search(query);
/* Since Discord wanna receive a response within 3 secs and results is async
* and can take longer than that, exception of type 'Unknown interaction' (10062)
* happens.
* TODO: Silently pass the exception */
// Returns a list of songs with their title
return interaction.respond(
results.tracks.slice(0, 10).map((t) => ({