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

i#6648 trim tool: Move file removal to the end #6669

Merged
merged 1 commit into from
Feb 21, 2024
Merged

i#6648 trim tool: Move file removal to the end #6669

merged 1 commit into from
Feb 21, 2024

Commits on Feb 21, 2024

  1. i#6648 trim tool: Move file removal to the end 

    Since file removal of now-empty shards can involve global operations
that could race among shards, we move shard removal to the aggregation
stage print_results() in the record filter.

Issue: #6648, #6593
    @derekbruening
    derekbruening committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    3a52929 View commit details
    Browse the repository at this point in the history