Fixed NPE in userinfo
This commit is contained in:
parent
8c5dd3b320
commit
f665d1c8b9
1 changed files with 12 additions and 7 deletions
|
@ -31,7 +31,7 @@ public class UserinfoCommand extends DiscordCommandBase {
|
||||||
target = message.getMentions().get(0);
|
target = message.getMentions().get(0);
|
||||||
else if (args.contains("#")) {
|
else if (args.contains("#")) {
|
||||||
String[] targettag = args.split("#");
|
String[] targettag = args.split("#");
|
||||||
final List<IUser> targets = message.getGuild().getUsersByName(targettag[0], true);
|
final List<IUser> targets = getUsers(message, args);
|
||||||
if (targets.size() == 0) {
|
if (targets.size() == 0) {
|
||||||
DiscordPlugin.sendMessageToChannel(message.getChannel(), "The user cannot be found (by name): " + args);
|
DiscordPlugin.sendMessageToChannel(message.getChannel(), "The user cannot be found (by name): " + args);
|
||||||
return;
|
return;
|
||||||
|
@ -48,12 +48,7 @@ public class UserinfoCommand extends DiscordCommandBase {
|
||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
} else {
|
} else {
|
||||||
final List<IUser> targets;
|
final List<IUser> targets = getUsers(message, args);
|
||||||
if (message.getChannel().isPrivate())
|
|
||||||
targets = DiscordPlugin.dc.getUsers().stream().filter(u -> u.getName().equalsIgnoreCase(args))
|
|
||||||
.collect(Collectors.toList());
|
|
||||||
else
|
|
||||||
targets = message.getGuild().getUsersByName(args, true);
|
|
||||||
if (targets.size() == 0) {
|
if (targets.size() == 0) {
|
||||||
DiscordPlugin.sendMessageToChannel(message.getChannel(),
|
DiscordPlugin.sendMessageToChannel(message.getChannel(),
|
||||||
"The user cannot be found on Discord: " + args);
|
"The user cannot be found on Discord: " + args);
|
||||||
|
@ -82,6 +77,16 @@ public class UserinfoCommand extends DiscordCommandBase {
|
||||||
"The user is not found in our system (player has to be on the MC server for now)!");
|
"The user is not found in our system (player has to be on the MC server for now)!");
|
||||||
}
|
}
|
||||||
|
|
||||||
|
private List<IUser> getUsers(IMessage message, String args) {
|
||||||
|
final List<IUser> targets;
|
||||||
|
if (message.getChannel().isPrivate())
|
||||||
|
targets = DiscordPlugin.dc.getUsers().stream().filter(u -> u.getName().equalsIgnoreCase(args))
|
||||||
|
.collect(Collectors.toList());
|
||||||
|
else
|
||||||
|
targets = message.getGuild().getUsersByName(args, true);
|
||||||
|
return targets;
|
||||||
|
}
|
||||||
|
|
||||||
@Override
|
@Override
|
||||||
public String[] getHelpText() {
|
public String[] getHelpText() {
|
||||||
return new String[] { //
|
return new String[] { //
|
||||||
|
|
Loading…
Reference in a new issue