Handbook
Glossary
Process run-time timeouts
Operating system processes
Prev:
Setting process groups
The
timeout
slot of a
process
can be set to a
duration
specifying a maximum running time for the process. If
wait-for-process
is called and the process does not exit before the duration expires, it will be killed.