mehrdadn 06ceecf6f5 Kill child processes when parent dies, and die on fatal errors (#265)

2016-07-14 16:10:26 -07:00

..

python

Kill child processes when parent dies, and die on fatal errors (#265)

2016-07-14 16:10:26 -07:00