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

This commit is contained in:
Damien Churchill 2009-10-14 15:53:31 +00:00
parent 4ae439a99a
commit bdc173cf4b

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()