change get_members tag to nickname

This commit is contained in:
kdh8219 2023-04-29 16:06:54 +09:00
parent d6351fbc30
commit 5f3521f452

View file

@ -35,13 +35,13 @@ export default {
let text = ""; let text = "";
for (const member of member_data) { for (const member of member_data) {
let discord_tag: string; let nickname: string;
try { try {
discord_tag = (await interaction.client.users.fetch(member[0])).tag; nickname = interaction.guild.members.cache.get(discord_id).nickname;
} catch (e) { } catch (e) {
discord_tag = `Deleted User#0000`; nickname = `Deleted User`;
} }
text += discord_tag; text += nickname;
text += `(${discord_id})`; text += `(${discord_id})`;
text += " : "; text += " : ";