Thanks for the patch, Benoit. Fixes #45.
This commit is contained in:
1
AUTHORS
1
AUTHORS
@@ -43,3 +43,4 @@ Thanks To
|
|||||||
* Cesar Alaniz, for uncovering bugs of great import
|
* Cesar Alaniz, for uncovering bugs of great import
|
||||||
* the grugq, for contributing patches, suggestions, and use cases
|
* the grugq, for contributing patches, suggestions, and use cases
|
||||||
* Ralf Schmitt, for wsgi/webob incompatibility bug report and suggested fix
|
* Ralf Schmitt, for wsgi/webob incompatibility bug report and suggested fix
|
||||||
|
* Benoit Chesneau, bug report on green.os and patch to fix it
|
@@ -65,7 +65,7 @@ def waitpid(pid, options):
|
|||||||
waitpid(pid, options) -> (pid, status)
|
waitpid(pid, options) -> (pid, status)
|
||||||
|
|
||||||
Wait for completion of a given child process."""
|
Wait for completion of a given child process."""
|
||||||
if options & os.WNOHANG != 0:
|
if options & os_orig.WNOHANG != 0:
|
||||||
return __original_waitpid__(pid, options)
|
return __original_waitpid__(pid, options)
|
||||||
else:
|
else:
|
||||||
new_options = options | os.WNOHANG
|
new_options = options | os.WNOHANG
|
||||||
|
Reference in New Issue
Block a user