Skip to content
This repository has been archived by the owner on Jul 19, 2021. It is now read-only.

Use pkill to kill processes spawned by job_dispatch.py #488

Merged
merged 1 commit into from
Jan 18, 2019
Merged

Use pkill to kill processes spawned by job_dispatch.py #488

merged 1 commit into from
Jan 18, 2019

Conversation

ManInFez
Copy link
Contributor

Resolves #417

Uses "pkill -P" to kill child processes

@ghost ghost assigned ManInFez Jan 18, 2019
@ghost ghost added the in progress label Jan 18, 2019
xjules
xjules approved these changes Jan 18, 2019
View reviewed changes
Copy link
Contributor

@xjules xjules left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Tested and explained. Good job!

@xjules xjules merged commit 523b742 into equinor:master Jan 18, 2019
@ghost ghost removed the ready for review label Jan 18, 2019
@ManInFez ManInFez mentioned this pull request Mar 5, 2019
Closed
@ManInFez ManInFez deleted the kill_all_child_processes branch May 20, 2019 10:19
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@xjules xjules xjules approved these changes

Assignees

@ManInFez ManInFez

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@ManInFez @xjules