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

Attempt to introduce graceful close from workers back to coordinator #152

Closed
wants to merge 3 commits into from
Closed

Attempt to introduce graceful close from workers back to coordinator #152

wants to merge 3 commits into from

Commits on Apr 9, 2024

  1. Attempt to introduce graceful close from workers back to coordinator

    @NHDaly
    NHDaly committed Apr 9, 2024
    Configuration menu
    Copy the full SHA
    b6f0591 View commit details
    Browse the repository at this point in the history

Commits on Apr 18, 2024

  1. Fixup bug: forgot to break the new if-statement

    @NHDaly
    NHDaly committed Apr 18, 2024
    Configuration menu
    Copy the full SHA
    2f3e31a View commit details
    Browse the repository at this point in the history

Commits on Apr 19, 2024

  1. WIP: Trying to prevent preemptively terminating the process in respon… 

    …se to its shutdown signal.

But encountering a bug: JuliaLang/julia#54145
    @NHDaly
    NHDaly committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    2a8768b View commit details
    Browse the repository at this point in the history