Skip to content

Add a command to make rustbot kill all child processes #2512

Closed
Closed
Add a command to make rustbot kill all child processes#2512
Labels
C-enhancementCategory: An issue proposing an enhancement or a PR with one.
Milestone
old 1.0 milestone
@brson

Description

@brson
brson
opened on Jun 6, 2012

This will abort the current build.

Metadata

Metadata

Assignees

No one assigned

    Labels

    C-enhancementCategory: An issue proposing an enhancement or a PR with one.

    Type

    No type

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions