diff options
| author | Fabian Mastenbroek <mail.fabianm@gmail.com> | 2020-11-12 13:07:30 +0100 |
|---|---|---|
| committer | Fabian Mastenbroek <mail.fabianm@gmail.com> | 2020-11-12 13:07:30 +0100 |
| commit | 53e2a7194922b670929325384288a70856a8c346 (patch) | |
| tree | 9ad36009a1ec4dc0000ad6a39ebc80d2df8ac441 /traces | |
| parent | d504a39748d985d4c50146dcf84f3b38f0ca0987 (diff) | |
Add timeout for experiments run by web runner
This change adds a timeout for experiments that are run by the web
runner in order to prevent buggy/long simulations from consuming one of the
CPU cores forever.
Diffstat (limited to 'traces')
0 files changed, 0 insertions, 0 deletions