aboutsummaryrefslogtreecommitdiff
path: root/src/web
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2019-10-23 14:22:36 +0200
committerLudovic Courtès <ludo@gnu.org>2019-10-23 14:53:50 +0200
commitc96863bc7cc019661dc3235bbb3fbdb870b3d474 (patch)
tree43a27ea791ccd68e8caf8a3cb728aaf2bab2522a /src/web
parent9acb0aa55b5787edef885bb812e2ee66d4401e80 (diff)
downloadcuirass-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 'src/web')
0 files changed, 0 insertions, 0 deletions