diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-01-29 12:17:20 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-01-29 18:06:47 +0100 |
| commit | 23fecf8f3d2469a3de4f7ffae16224b0d21cc265 (patch) | |
| tree | ea97ae0bcebbca263ceb08e8c85b810d122b80fb /examples | |
| parent | fcd1bc13bce741a96a315ed0b0d06dc8e88519f9 (diff) | |
| download | cuirass-23fecf8f3d2469a3de4f7ffae16224b0d21cc265.tar cuirass-23fecf8f3d2469a3de4f7ffae16224b0d21cc265.tar.gz | |
cuirass: Log resource usage statistics regularly.
* src/cuirass/logging.scm (log-monitoring-stats): New procedure.
* bin/cuirass.in (main): Add a fiber that calls it regularly.
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions