Skip to content
This repository was archived by the owner on Jan 31, 2023. It is now read-only.
This repository was archived by the owner on Jan 31, 2023. It is now read-only.

Patchbot should clean up after sage-cleaner before each ticket #130

@embray

Description

@embray

In particular if some build failed (or maybe even if it succeeded), sage-cleaner can leave enough crap in its spawned_processes file under $DOT_SAGE/temp that almost any process that ends up getting spawned is immediately killed, along with the patchbot itself, by sage-cleaner, just because there are so many PIDs in there it's almost inevitable one will be reused.

In fact we should probably just clean all of $DOT_SAGE/temp before each run.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions