Skip to content
This repository has been archived by the owner on Oct 3, 2018. It is now read-only.

only remove pid if parent process is 1 #6

Merged
merged 1 commit into from
Nov 12, 2013
Merged

Conversation

karlbohlmark
Copy link
Contributor

No description provided.

@lithammer
Copy link

👍

@@ -94,4 +94,5 @@ def run(app, pidfile, logfile, name=None, no_daemon=False, uid=None,
try:
arbiter.run()
finally:
remove_pidfile(pidfile)
if os.getppid() is 1:
Copy link
Contributor

Choose a reason for hiding this comment

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

do we know if this is this a somewhat accepted way of determining whether a process is the parent? also, does it make sense to you to need that check here, or does the whole mechanism seem weird?

@muvster
Copy link
Contributor

muvster commented Nov 11, 2013

If this has been verified to fix the problem described in the mantis, I say we merge it.

🚒

karlbohlmark added a commit that referenced this pull request Nov 12, 2013
only remove pid if parent process is 1
@karlbohlmark karlbohlmark merged commit 8c7e9aa into master Nov 12, 2013
@avtobiff avtobiff deleted the gevent-pid-22776 branch November 18, 2013 13:48
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants