Updated Developer API (markdown)

Luck 2018-01-29 13:04:01 +00:00
parent 96a45eb4a4
commit 87c36d7c4c

@ -222,6 +222,7 @@ public void getUserAndApply(UUID playerUuid, Consumer<User> action) {
if (user != null) {
// user is already loaded, just apply the action
action.accept(user);
return;
}
// ok, user isn't online, so we need to load them.