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

Ensure reconnecting workers do not loose required data #5436

Merged
merged 3 commits into from Oct 18, 2021
Merged

Ensure reconnecting workers do not loose required data #5436

merged 3 commits into from Oct 18, 2021

Commits on Oct 18, 2021

  1. Ensure reconnecting workers do not loose required data

    @fjetter
    fjetter committed Oct 18, 2021
    Copy the full SHA
    2545768 View commit details
    Browse the repository at this point in the history

  2. fix free_keys calls

    @fjetter
    fjetter committed Oct 18, 2021
    Copy the full SHA
    19d4bb8 View commit details
    Browse the repository at this point in the history

  3. attach timestamp to stim ID of delete_worker_data

    @fjetter
    fjetter committed Oct 18, 2021
    Copy the full SHA
    f9bb38f View commit details
    Browse the repository at this point in the history