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.

Sign up for GitHub

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

Jump to bottom

fix(local): Kill processes as root #54

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

fix(local): Kill processes as root #54

wants to merge 1 commit into from

Conversation

adamreese
Copy link
Member

Fixes: #49

@adamreese adamreese requested a review from itowlson June 15, 2022 17:19
@itowlson
Copy link
Contributor

I have bad news

image

@itowlson
Copy link
Contributor

After I enter my sudo password it reports

kill: (7334): No such process
kill: (7380): No such process

@lann
Copy link
Contributor

lann commented Jun 16, 2022

Perhaps a race between the execution of jobs -p and kill (delayed waiting on sudo prompt)? I wonder if the original issue is some oddness around cgroups on The Linux of Our Forefathers.

@vdice vdice modified the milestone: v0.1.0 Jun 16, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@vdice vdice vdice approved these changes

@itowlson itowlson Awaiting requested review from itowlson

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Local: "kill - operation not permitted" error after Ctrl+C
4 participants
@adamreese @itowlson @lann @vdice