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 3530605aa6 - Show all commits

View file

@ -161,7 +161,7 @@ export default {
if (query) { if (query) {
/* Since Discord wanna receive a response within 3 secs and results is async /* 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) * and can take longer than that, exception of type 'Unknown interaction' (10062)
* happens. */ * happens. */
let timeoutId: NodeJS.Timeout; let timeoutId: NodeJS.Timeout;
const delay = new Promise(function (_, reject) { const delay = new Promise(function (_, reject) {