PlayerListener.java 文件源码

@EventHandler(priority = EventPriority.LOWEST)
public void onPlayerChangedWorld(PlayerChangedWorldEvent event)
{
    Player player = event.getPlayer();
    User user = plugin.getPermissionHandler().getUser(player);
    if (user == null)
    {
        player.sendMessage(plugin.getPrefix() + FormatUtil.format("Failed to get a user instance! Contact an administrator!"));
        return;
    }

    user = plugin.getPermissionHandler().moveWorld(player, event.getFrom(), player.getWorld());

    boolean force = plugin.getConfig().getBoolean("forceUpdate.worldChange", false);
    user.updatePermissions(player, force);
}