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.

Sign up for GitHub

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

Jump to bottom

Shut down workers if master goes missing for too long #2474

Merged
merged 4 commits into from Nov 19, 2023
Merged

Shut down workers if master goes missing for too long #2474

merged 4 commits into from Nov 19, 2023

Commits on Nov 19, 2023

  1. Automatically shut down workers if master goes missing for too long. … 

    …Make master reply when it gets a heartbeat message from workers, to enable detecting missing master.
    @cyberw
    cyberw committed Nov 19, 2023
    Configuration menu
    Copy the full SHA
    27a52c6 View commit details
    Browse the repository at this point in the history

  2. try to fix test

    @cyberw
    cyberw committed Nov 19, 2023
    Configuration menu
    Copy the full SHA
    354fbce View commit details
    Browse the repository at this point in the history

  3. mypy. clean up some typing in runners.

    @cyberw
    cyberw committed Nov 19, 2023
    Configuration menu
    Copy the full SHA
    8d02c17 View commit details
    Browse the repository at this point in the history

  4. Log debug message if master gets heartbeats from unknown worker.

    @cyberw
    cyberw committed Nov 19, 2023
    Configuration menu
    Copy the full SHA
    dca3258 View commit details
    Browse the repository at this point in the history