From 9ff3d5742969422f7c3ec4c735f62bb16c13d23a Mon Sep 17 00:00:00 2001
From: yuyiming <36940796+yuyiming@users.noreply.github.com>
Date: Thu, 24 May 2018 07:13:09 +0800
Subject: [PATCH] do not fetch from dead Plasma Manager (#2116)

---
 src/common/state/db_client_table.cc | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/common/state/db_client_table.cc b/src/common/state/db_client_table.cc
index 0d53ad2a6..b31e9d8c2 100644
--- a/src/common/state/db_client_table.cc
+++ b/src/common/state/db_client_table.cc
@@ -45,7 +45,9 @@ const std::vector<std::string> db_client_table_get_ip_addresses(
   for (auto const &manager_id : manager_ids) {
     DBClient client = redis_cache_get_db_client(db_handle, manager_id);
     RAY_CHECK(!client.manager_address.empty());
-    manager_vector.push_back(client.manager_address);
+    if (client.is_alive) {
+      manager_vector.push_back(client.manager_address);
+    }
   }
 
   int64_t end_time = current_time_ms();