xla
SIGKILL if SIGTERM does not get into the popen process memo.
#1837

Merged

SIGKILL if SIGTERM does not get into the popen process memo. #1837

dlibenzi merged 1 commit into master from really_kill_popen

SIGKILL if SIGTERM does not get into the popen process memo.

64fdd217

dlibenzi requested a review from

ailzhang 6 years ago

ailzhang approved these changes on 2020-03-28

dlibenzi merged d32139b0 into master 6 years ago

dlibenzi deleted the really_kill_popen branch 6 years ago

Reviewers

ailzhang

Assignees

No one assigned

Labels

None yet

Milestone

No milestone