safe disconnect

2011-03-25 15:15:57 +00:00
parent dc89193635
commit 620a5d699f
1 changed files with 12 additions and 4 deletions
--- a/src/main/java/redis/clients/jedis/ShardedJedisPool.java
+++ b/src/main/java/redis/clients/jedis/ShardedJedisPool.java
@@ -67,11 +67,19 @@ public class ShardedJedisPool extends Pool<ShardedJedis> {
        }

        public void destroyObject(final Object obj) throws Exception {
-            if (obj != null) {
-                try {
-                    ((ShardedJedis) obj).disconnect();
-                } catch (Exception e) {
+            if ((obj != null) && (obj instanceof ShardedJedis)) {
+                ShardedJedis shardedJedis = (ShardedJedis) obj;
+                for (Jedis jedis : shardedJedis.getAllShards()) {
+                    try {
+                   		try {
+                   			jedis.quit();
+                        } catch (Exception e) {

+                        }
+                        jedis.disconnect();
+                    } catch (Exception e) {
+
+                    }
                }
            }
        }