Mention the user who completes the report so we can have their current Discord name (includes their current name & tag in-case they delete their account)

This commit is contained in:
Allink 2022-05-26 22:13:57 +01:00
parent 9c91166319
commit bf41d08580
No known key found for this signature in database
GPG Key ID: 7F1F1B98F0FAAD13

View File

@ -58,7 +58,7 @@ public class MessageReactionListener extends ListenerAdapter
// We don't need other embeds... yet?
final MessageEmbed embed = message.getEmbeds().get(0);
final MessageBuilder archiveMessageBuilder = new MessageBuilder();
archiveMessageBuilder.setContent("Report completed by " + Discord.deformat(completer.getUser().getAsTag()));
archiveMessageBuilder.setContent("Report completed by " + completer.getUser().getAsMention() + " (" + Discord.deformat(completer.getUser().getAsTag() + ")"));
archiveMessageBuilder.setEmbed(embed);
final Message archiveMessage = archiveMessageBuilder.build();