Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

remove died manager from interesting manager list #69

Closed
ZhuozhaoLi opened this issue Oct 14, 2019 · 0 comments · Fixed by #77
Closed

remove died manager from interesting manager list #69

ZhuozhaoLi opened this issue Oct 14, 2019 · 0 comments · Fixed by #77

Comments

@ZhuozhaoLi
Copy link
Contributor

ZhuozhaoLi commented Oct 14, 2019

I sometimes saw in the interchange.log that the interesting manager is greater than the total manager. My guess is that some managers reach their walltime and leave. But the interchange does not remove those died managers from the interesting_manager list.

I have not met any issue with that so far, but I imagine if we test thoroughly there would be.

2019-10-14 17:12:20.363 interchange:565 [INFO]  [MAIN] Managers count (total/interesting): 0/1
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant