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 unnecessary cleanup method and fix cleanup order #140 #141

Merged
merged 1 commit into from
Apr 17, 2024

Conversation

jakubno
Copy link
Member

@jakubno jakubno commented Apr 17, 2024

We called the sandbox cleanup twice when killing the sandbox. This PR removes that and improves the order in which the cleanup handler are called.

@jakubno jakubno added the improvement Improvement for current functionality label Apr 17, 2024
@jakubno jakubno marked this pull request as ready for review April 17, 2024 00:06
@jakubno jakubno merged commit 6560dd5 into main Apr 17, 2024
@jakubno jakubno deleted the system-job branch April 17, 2024 00:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
improvement Improvement for current functionality
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants