diff options
author | root <root@andjedan.(none)> | 2011-08-10 12:30:00 -0700 |
---|---|---|
committer | root <root@andjedan.(none)> | 2011-08-10 12:30:00 -0700 |
commit | 9f43cfbf63b83cf02da8647c50a4c6dc523de5ad (patch) | |
tree | a7ea01aef9b9b26a8dae559873cf4a7a2c5c1ccf /etc/security | |
parent | 1502051f4ac6929fb3d85027b368923134c767ff (diff) | |
download | hellijudge-legacy.git-9f43cfbf63b83cf02da8647c50a4c6dc523de5ad.tar.gz hellijudge-legacy.git-9f43cfbf63b83cf02da8647c50a4c6dc523de5ad.tar.xz hellijudge-legacy.git-9f43cfbf63b83cf02da8647c50a4c6dc523de5ad.zip |
Specify timeout signal
If no signal is specified for timeout, timeout sends the TERM signal
upon timeout. The TERM signal wastes about 2 seconds till termination
(why?). Since KILL signal terminates the process immediately, we
decided to specify the signal.
bug found at submission number 723 @ HelliCode
Diffstat (limited to 'etc/security')
0 files changed, 0 insertions, 0 deletions