Fix child process receiving ctrl-c by setting own process group #496
Job | Run time |
---|---|
4m 48s | |
6m 9s | |
2m 22s | |
5m 5s | |
10m 12s | |
3m 14s | |
6m 13s | |
11m 4s | |
4m 56s | |
2m 12s | |
3m 30s | |
6m 26s | |
1m 54s | |
4m 59s | |
6m 40s | |
4m 39s | |
6m 30s | |
6m 44s | |
6m 28s | |
6m 18s | |
5m 18s | |
6m 23s | |
33s | |
33s | |
0s | |
2h 3m 10s |