Some improvements to 'unknown member' error reporting

This commit is contained in:
Dragory 2019-08-04 16:51:42 +03:00
parent a1aa995a7a
commit 08d49ad477
2 changed files with 16 additions and 3 deletions

View file

@ -496,8 +496,13 @@ export class ModActionsPlugin extends ZeppelinPlugin<TConfigSchema> {
ppId: pp && pp.id,
});
} catch (e) {
logger.error(`Failed to mute user ${user.id}: ${e.stack}`);
msg.channel.createMessage(errorMessage("Could not mute the user"));
if (e instanceof DiscordRESTError && e.code === 10007) {
msg.channel.createMessage(errorMessage("Could not mute the user: unknown member"));
} else {
logger.error(`Failed to mute user ${user.id}: ${e.stack}`);
msg.channel.createMessage(errorMessage("Could not mute the user"));
}
return;
}