From c0c7c3215e17d11156d5c00082547730b82d8f6f Mon Sep 17 00:00:00 2001 From: wizjany Date: Wed, 11 Mar 2015 00:44:06 -0400 Subject: [PATCH] Mark Player/Group Domains as dirty in a few missing places. Fixes WORLDGUARD-3404. --- src/main/java/com/sk89q/worldguard/domains/GroupDomain.java | 2 +- src/main/java/com/sk89q/worldguard/domains/PlayerDomain.java | 3 +++ 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/src/main/java/com/sk89q/worldguard/domains/GroupDomain.java b/src/main/java/com/sk89q/worldguard/domains/GroupDomain.java index c45783e1..344da282 100644 --- a/src/main/java/com/sk89q/worldguard/domains/GroupDomain.java +++ b/src/main/java/com/sk89q/worldguard/domains/GroupDomain.java @@ -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(); } diff --git a/src/main/java/com/sk89q/worldguard/domains/PlayerDomain.java b/src/main/java/com/sk89q/worldguard/domains/PlayerDomain.java index 3d081f4b..baff13b6 100644 --- a/src/main/java/com/sk89q/worldguard/domains/PlayerDomain.java +++ b/src/main/java/com/sk89q/worldguard/domains/PlayerDomain.java @@ -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(); }