Skip to content

add optional crash option to kill and remote-pid to info#84

Merged
PawelPlesniak merged 3 commits intodevelopfrom
aurashk/add-crash-option-to-kill-command
Mar 27, 2026
Merged

add optional crash option to kill and remote-pid to info#84
PawelPlesniak merged 3 commits intodevelopfrom
aurashk/add-crash-option-to-kill-command

Conversation

@Aurashk
Copy link
Copy Markdown
Contributor

@Aurashk Aurashk commented Mar 23, 2026

Description

Adds a crash option to the kill command for the process manager which simulates a process dying unexpectedly - not within the control of the process manager
also allows an option remote-pid to process info for more detailed ps info
For details see PR #824

Type of change

  • Documentation (non-breaking change that adds or improves the documentation)
  • New feature (non-breaking change which adds functionality)
  • Optimization (non-breaking, back-end change that speeds up the code)
  • Bug fix (non-breaking change which fixes an issue)
  • Breaking change (whatever its nature)

Key checklist

  • All tests pass (eg. python -m pytest)
  • Pre-commit hooks run successfully (eg. pre-commit run --all-files)

Further checks

  • Code is commented, particularly in hard-to-understand areas
  • Tests added or an issue has been opened to tackle that in the future.
    (Indicate issue here: # (issue))

@Aurashk Aurashk changed the title add crash option to kill add optional crash option to kill and remote-pid to info Mar 23, 2026
@PawelPlesniak PawelPlesniak merged commit af69ed7 into develop Mar 27, 2026
@PawelPlesniak PawelPlesniak deleted the aurashk/add-crash-option-to-kill-command branch March 27, 2026 15:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants