Skip to content
This repository has been archived by the owner on Feb 3, 2024. It is now read-only.

Commit

Permalink
Fix UUID convert command. Closes #1692
Browse files Browse the repository at this point in the history
  • Loading branch information
zml committed Nov 3, 2014
1 parent 7aab742 commit 9d6768d
Showing 1 changed file with 3 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -38,6 +38,7 @@

import java.io.File;
import java.util.Collection;
import java.util.HashSet;
import java.util.Iterator;
import java.util.List;
import java.util.Map;
Expand Down Expand Up @@ -165,8 +166,8 @@ public void convertUUID(final PermissionsEx plugin, final CommandSender sender,
return;
}
final ProfileRepository repo = new HttpProfileRepository("minecraft");
final Collection<String> userIdentifiers = backend.getUserIdentifiers();
for (Iterator<String> it = backend.getUserIdentifiers().iterator(); it.hasNext(); ) {
final Collection<String> userIdentifiers = new HashSet<>(backend.getUserIdentifiers());
for (Iterator<String> it = userIdentifiers.iterator(); it.hasNext(); ) {
try {
UUID.fromString(it.next());
it.remove();
Expand Down

0 comments on commit 9d6768d

Please sign in to comment.