Upstream/WorldGuard
1
0
Fork 0
mirror of https://github.com/EngineHub/WorldGuard.git synced 2024-11-23 11:06:13 +01:00
Code Issues Projects Releases Wiki Activity

Mark Player/Group Domains as dirty in a few missing places.

Browse Source 
Fixes WORLDGUARD-3404.
This commit is contained in:
wizjany 2015-03-11 00:44:06 -04:00
parent ddf0f41061
commit c0c7c3215e
2 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/main/java/com/sk89q/worldguard/domains/GroupDomain.java
View File

@ -51,7 +51,6 @@ public GroupDomain() {
public GroupDomain(GroupDomain domain) {
checkNotNull(domain, "domain");
groups.addAll(domain.getGroups());
dirty = true;
}
/**
@ -128,6 +127,7 @@ public int size() {
@Override
public void clear() {
setDirty(true);
groups.clear();
}

3
src/main/java/com/sk89q/worldguard/domains/PlayerDomain.java
View File

@ -125,6 +125,7 @@ public void removePlayer(String name) {
*/
public void removePlayer(UUID uuid) {
checkNotNull(uuid);
setDirty(true);
uniqueIds.remove(uuid);
}
@ -136,6 +137,7 @@ public void removePlayer(UUID uuid) {
*/
public void removePlayer(LocalPlayer player) {
checkNotNull(player);
setDirty(true);
removePlayer(player.getName());
removePlayer(player.getUniqueId());
}
@ -183,6 +185,7 @@ public int size() {
@Override
public void clear() {
setDirty(true);
uniqueIds.clear();
names.clear();
}