dev/kill group - Githubissues

sbinet / hml

validate higgsml submissions

BSD 3-Clause "New" or "Revised" License

0 stars 0 forks source link

dev/kill group #3

Closed sbinet closed 10 years ago

sbinet commented 10 years ago

create sub-processes in their own process-group
kill the process-group in time of timeout
fix #2