• Michael Hanselmann's avatar
    utils.KillProcess: Use waitpid() to wait for child processes · 7167159a
    Michael Hanselmann authored
    Sometimes the proc filesystem doesn't reflect the current status of
    a process. By calling waitpid(), we make sure to get the current
    information, at least for child processes. The timeout is still
    kept for child processes to make sure the proc filesystem is updated.
    
    Reviewed-by: iustinp
    7167159a
utils.py 50.6 KB