/** * Releases the given resource. Note that this does not automatically shrink * the designated worker pool size. * * @param resourceId The TaskManager's resource id. */ private void removeRegisteredResource(ResourceID resourceId) { WorkerType worker = startedWorkers.remove(resourceId); if (worker != null) { releaseStartedWorker(worker); } else { LOG.warn("Resource {} could not be released", resourceId); } }
/** * Releases the given resource. Note that this does not automatically shrink * the designated worker pool size. * * @param resourceId The TaskManager's resource id. */ private void removeRegisteredResource(ResourceID resourceId) { WorkerType worker = startedWorkers.remove(resourceId); if (worker != null) { releaseStartedWorker(worker); } else { LOG.warn("Resource {} could not be released", resourceId); } }
/** * Releases the given resource. Note that this does not automatically shrink * the designated worker pool size. * * @param resourceId The TaskManager's resource id. */ private void removeRegisteredResource(ResourceID resourceId) { WorkerType worker = startedWorkers.remove(resourceId); if (worker != null) { releaseStartedWorker(worker); } else { LOG.warn("Resource {} could not be released", resourceId); } }
/** * Releases the given resource. Note that this does not automatically shrink * the designated worker pool size. * * @param resourceId The TaskManager's resource id. */ private void removeRegisteredResource(ResourceID resourceId) { WorkerType worker = startedWorkers.remove(resourceId); if (worker != null) { releaseStartedWorker(worker); } else { LOG.warn("Resource {} could not be released", resourceId); } }