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 /base/run.py | |
| 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 'base/run.py')
0 files changed, 0 insertions, 0 deletions