mirror of
https://github.com/xen-project/xen.git
synced 2026-10-29 02:30:03 +01:00
As observed by Mick Joran, if short-lived domain exits cleanly then os.waitpid() will throw the following exception. This appears to be because the child process that is used to start the domain has detached from its parent. OSError: [Errno 10] No child processes Cc: Mick Jordan <Mick.Jordan@sun.com> Signed-off-by: Simon Horman <horms@verge.ent.au>