3
0
Fork 0
mirror of https://github.com/ZeppelinBot/Zeppelin.git synced 2025-05-10 12:25:02 +00:00

chore: resolve eslint issues

This commit is contained in:
Dragory 2021-11-03 16:59:08 +02:00
parent 09125956a0
commit 673ec7b09a
No known key found for this signature in database
GPG key ID: 5F387BA66DF8AAC1
19 changed files with 35 additions and 2 deletions

View file

@ -71,7 +71,8 @@ export async function actualMuteUserCmd(
} else {
logger.error(`Failed to mute user ${user.id}: ${e.stack}`);
if (user.id == null) {
// tslint-disable-next-line:no-console
// FIXME: Debug
// tslint:disable-next-line:no-console
console.trace("[DEBUG] Null user.id for mute");
}
sendErrorMessage(pluginData, msg.channel as TextChannel, "Could not mute the user");