use os._exit() rather than exit() when forking

This commit is contained in:
Damien Churchill 2009-10-14 15:53:31 +00:00
parent 89f88f3beb
commit 511bfd5d84

View file

@ -84,14 +84,14 @@ class Web(_UI):
# fork() so the parent can exit, returns control to the command line
# or shell invoking the program.
if os.fork():
exit(0)
os._exit(0)
# setsid() to become a process group and session group leader.
os.setsid()
# fork() again so the parent, (the session group leader), can exit.
if os.fork():
exit(0)
os._exit(0)
# chdir() to esnure that our process doesn't keep any directory in
# use that may prevent a filesystem unmount.
@ -112,4 +112,4 @@ class Web(_UI):
def start():
web = Web()
web.start()
web.start()