diff options
| author | Mathieu Othacehe <othacehe@gnu.org> | 2020-09-21 18:41:44 +0200 |
|---|---|---|
| committer | Mathieu Othacehe <othacehe@gnu.org> | 2020-09-29 17:02:45 +0200 |
| commit | eb8d1b88adcb63b12986855f40a454e2c59d0b9c (patch) | |
| tree | 0bc7ff3f3b9a41620fe355a0fe762366037a5093 /bin/evaluate.in | |
| parent | 0ffcb80ebbaa2b177f03548035a2ef21ae7ac41d (diff) | |
| download | cuirass-eb8d1b88adcb63b12986855f40a454e2c59d0b9c.tar cuirass-eb8d1b88adcb63b12986855f40a454e2c59d0b9c.tar.gz | |
Add watchdog support.
* src/cuirass/watchdog.scm: New file.
* Makefile.am (dist_pkgmodule_DATA): Add it.
* src/cuirass/utils.scm (with-timeout, get-message-with-timeout): Export them.
* bin/cuirass.in (main): Start the watchdog.
Diffstat (limited to 'bin/evaluate.in')
0 files changed, 0 insertions, 0 deletions