diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-10-23 14:22:36 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-10-23 14:53:50 +0200 |
| commit | c96863bc7cc019661dc3235bbb3fbdb870b3d474 (patch) | |
| tree | 43a27ea791ccd68e8caf8a3cb728aaf2bab2522a /.gitignore | |
| parent | 9acb0aa55b5787edef885bb812e2ee66d4401e80 (diff) | |
| download | cuirass-c96863bc7cc019661dc3235bbb3fbdb870b3d474.tar cuirass-c96863bc7cc019661dc3235bbb3fbdb870b3d474.tar.gz | |
base: Write to 'evaluate' output to /var/log/cuirass.
This fixes a longstanding issue where evalution output would splatter
over the /var/log/cuirass.log and be inscrutable.
* src/cuirass/base.scm (%cuirass-state-directory): New variable.
(evaluation-log-file): New procedure.
(evaluate)[log-file, log-pipe]: New variables.
Call 'spawn-fiber' with a logging fiber. Wrap 'open-pipe*' call into
'with-error-to-port'. Close 'log-pipe'.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions