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

Finish deletion of workspaces #7034

Open
Tracked by #468
pcrespov opened this issue Jan 13, 2025 · 0 comments
Open
Tracked by #468

Finish deletion of workspaces #7034

pcrespov opened this issue Jan 13, 2025 · 0 comments
Assignees
Labels
a:webserver issue related to the webserver service t:enhancement Improvement or request on an existing feature
Milestone

Comments

@pcrespov
Copy link
Member

        # IMPLICIT trash
        child_folders: list[FolderID] = []  # TODO: find children. Check with MD

        for folder_id in child_folders:
            await trash_folder(
                app,
                product_name=product_name,
                user_id=user_id,
                folder_id=folder_id,
                force_stop_first=force_stop_first,
            )

        child_projects: list[ProjectID] = []  # TODO: find children. Check with MD
@pcrespov pcrespov added a:webserver issue related to the webserver service t:enhancement Improvement or request on an existing feature labels Jan 13, 2025
@pcrespov pcrespov added this to the Singularity milestone Jan 13, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
a:webserver issue related to the webserver service t:enhancement Improvement or request on an existing feature
Projects
None yet
Development

No branches or pull requests

2 participants