authorAxel Belinfante <Axel.Belinfante@cs.utwente.nl>
Fri, 28 Sep 2012 15:11:46 +0000 (17:11 +0200)
committerAxel Belinfante <Axel.Belinfante@cs.utwente.nl>
Fri, 28 Sep 2012 15:11:46 +0000 (17:11 +0200)
commitd876d9894185aa949914e1aa98f2441983ec1a0b
tree429dc86abf41bad758dd9dfa847f19b73a8870c8
parentb2c7b6c16c15f6880f26ecf20e8a3a99ef9d0b1a
changed set_cpu_limit to set hard limit == soft limit +2 (in seconds)

this seems better than using a percentage for the limit difference
linux.c