fix custom signal handling, which was broken after #166 #20
Job | Run time |
---|---|
4m 21s | |
1m 12s | |
1m 20s | |
1m 10s | |
1m 53s | |
1m 14s | |
1m 0s | |
1m 4s | |
1m 1s | |
59s | |
57s | |
54s | |
1m 2s | |
1m 37s | |
1m 35s | |
1m 36s | |
1m 53s | |
24m 48s |
Job | Run time |
---|---|
4m 21s | |
1m 12s | |
1m 20s | |
1m 10s | |
1m 53s | |
1m 14s | |
1m 0s | |
1m 4s | |
1m 1s | |
59s | |
57s | |
54s | |
1m 2s | |
1m 37s | |
1m 35s | |
1m 36s | |
1m 53s | |
24m 48s |