gh_mirror/astroconda/docker-buildsys.git, branch masterBasic toolchain
Timeout messages cannot be seen anyway.2019-02-15T13:25:51+00:00Joseph Hunkelerjhunkeler@gmail.com2019-02-15T13:25:51+00:00e1246e956b1a41514f9fa4bdf593b0c436d171fe
* Use SIGTERM instead of SIGKILL -- again
* Use SIGTERM instead of SIGKILL -- again
Merge pull request #15 from jhunkeler/timeout-HD-die-more-edition2019-02-12T17:25:50+00:00Joseph Hunkelerjhunkeler@users.noreply.github.com2019-02-12T17:25:50+00:0043933b5ec30441536b07f09a0a130624728dab77
Improve timeout situation
Improve timeout situation
KILL instead of TERM2019-02-12T17:24:49+00:00Joseph Hunkelerjhunkeler@gmail.com2019-02-12T17:24:49+00:007e5eec2af519441606c703f3c8ccd0fcfe63c7ff
Merge pull request #14 from jhunkeler/limit-strife2019-02-05T19:37:33+00:00Joseph Hunkelerjhunkeler@users.noreply.github.com2019-02-05T19:37:33+00:00a6f0d0a38ea52a202252b871cb00e8b5f604d105
Impose time limit of 45 minutes
Impose time limit of 45 minutes
Impose time limit of 45 minutes2019-02-05T19:36:48+00:00Joseph Hunkelerjhunkeler@gmail.com2019-02-05T19:36:48+00:009abd02d8c1a0fd0a0f449445122d1da204cb5cb1