{"push_id":1058757687,"size":1,"distinct_size":1,"ref":"refs/heads/terminate_wait_and_kill","head":"2450889b374cf6331647554ea3499e298fe38111","before":"056f12d1c0acdd5bc7c1b6a0b84988d66f9fef3b","commits":[{"sha":"2450889b374cf6331647554ea3499e298fe38111","author":{"email":"3d52be82d08f04abb00bebcbdef5d022069a7548@fangorn.ch","name":"Jean-Louis Fuchs"},"message":"Interrupt subprocesses first and wait if they exit\n\nIf the subprocesses are killed directly they might\nnot be able to clean up. Which can change the result\nand may cause orphan sub-subprocesses.\n\n* Per default python only does cleanup on SIGINT not\n  SIGTERM nor SIGKILL. We would have to catch SIGTERM\n  manually. Therefore I decided to send SIGINT then SIGKILL\n\n* Since we send SIGINT we get trace-backs on stderr, therefore\n  stderr is sent to DEVNULL too","distinct":true,"url":"https://api.github.com/repos/ganwell/structureshrink/commits/2450889b374cf6331647554ea3499e298fe38111"}]}