diff options
| author | Travis Watkins <amaranth@ubuntu.com> | 2012-11-18 10:51:52 -0600 |
|---|---|---|
| committer | Travis Watkins <amaranth@ubuntu.com> | 2012-11-18 10:51:52 -0600 |
| commit | 58636c2dd8e756f3c7fa88be07fe1a692c18fa42 (patch) | |
| tree | e58a1b014c36726dca5a1e0144ae2c13e2f7a5f1 /src/main/java/net/minecraft/server | |
| parent | 1044c32a54800eb68cef941db3f0c7f4b2831ea8 (diff) | |
| download | craftbukkit-58636c2dd8e756f3c7fa88be07fe1a692c18fa42.tar craftbukkit-58636c2dd8e756f3c7fa88be07fe1a692c18fa42.tar.gz craftbukkit-58636c2dd8e756f3c7fa88be07fe1a692c18fa42.tar.lz craftbukkit-58636c2dd8e756f3c7fa88be07fe1a692c18fa42.tar.xz craftbukkit-58636c2dd8e756f3c7fa88be07fe1a692c18fa42.zip | |
Don't do case lookups when we have the right case already.
This is a missed part of the original "[Bleeding] Use case from player data
for OfflinePlayer. Fixes BUKKIT-519" commit. It avoids doing (somewhat
expensive) lookups of player data to find the correct capitalization inside
getOfflinePlayers() as we're already loading their name from the player data
and thus have the correct capitalization.
Diffstat (limited to 'src/main/java/net/minecraft/server')
0 files changed, 0 insertions, 0 deletions