From cb0ffe6c93fc66f3310b097126bf0bb05fbf6d23 Mon Sep 17 00:00:00 2001
From: Bela Ban <belaban@mailbox.org>
Date: Wed, 12 Aug 2020 11:38:21 +0200
Subject: [PATCH] Removed JDBC_PING.stop() (never called)

---
 src/org/jgroups/protocols/JDBC_PING.java | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/src/org/jgroups/protocols/JDBC_PING.java b/src/org/jgroups/protocols/JDBC_PING.java
index 30ebfcd1155..c7058c43ce4 100644
--- a/src/org/jgroups/protocols/JDBC_PING.java
+++ b/src/org/jgroups/protocols/JDBC_PING.java
@@ -112,14 +112,6 @@ public void init() throws Exception {
     }
 
 
-    @Override
-    public void stop() {
-        super.stop();
-        if(is_coord)
-            removeAll(cluster_name);
-    }
-
-
     protected void write(List<PingData> list, String clustername) {
         for(PingData data: list)
             writeToDB(data, clustername, true);