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

Check that at least the pid belongs to a java process before killing it #246

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

Check that at least the pid belongs to a java process before killing it #246

wants to merge 1 commit into from

Conversation

zamaudio
Copy link

Hopefully pidof is portable...

@zamaudio
Copy link
Author

With any luck, this fixes #244

@ssadedin
Copy link
Owner

Hmm, just testing on my Mac I don't seem to have pidof - might have to do something cruder like ps -efa | grep java?

@gdevenyi
Copy link
Contributor

Make sure you stick to POSIX options of ps in case OSX and Linux are different...

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@zamaudio @ssadedin @gdevenyi