Fix ray.available_resources bug (#8537)

This commit is contained in:
Ujval Misra 2020-05-27 17:55:08 -07:00 committed by GitHub
parent 38399c9885
commit e958d261b6
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -796,7 +796,7 @@ class GlobalState:
client_ids = self._live_client_ids() client_ids = self._live_client_ids()
# Remove disconnected clients # Remove disconnected clients
for client_id in available_resources_by_id.keys(): for client_id in list(available_resources_by_id.keys()):
if client_id not in client_ids: if client_id not in client_ids:
del available_resources_by_id[client_id] del available_resources_by_id[client_id]