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

Merged
merged 1 commit into from
Apr 17, 2024

Conversation

ValentaTomas
Copy link
Member

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.

@ValentaTomas ValentaTomas added bug Something isn't working improvement Improvement for current functionality labels Apr 16, 2024
@jakubno jakubno merged commit 81f8dbd into main Apr 17, 2024
@jakubno jakubno deleted the cleanup-cleanup branch April 17, 2024 00:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working improvement Improvement for current functionality
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants