Made RouterStubManager.remove() synchronized

belaban · Jul 12, 2023 · 7b1d08d · 7b1d08d
1 parent 1f239ef
commit 7b1d08d
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/org/jgroups/stack/RouterStubManager.java b/src/org/jgroups/stack/RouterStubManager.java
@@ -216,7 +216,10 @@ protected boolean add(Target target) {
 
     protected boolean remove(RouterStub stub) {
         if(stub == null) return false;
-        boolean retval=this.stubs.remove(stub);
+        boolean retval=false;
+        synchronized(stubs) {
+            retval=this.stubs.remove(stub);
+        }
         stub.destroy();
         return retval;
     }