diff options
author | Ludovic Courtès <ludo@gnu.org> | 2019-10-23 15:37:15 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-10-23 15:37:15 +0200 |
commit | c8c34f8ee3a62ab3d86a65bae2a4ddafd619088f (patch) | |
tree | d9df3ce2698ad9b722a195e0239615495ae5dba4 /src/cuirass/base.scm | |
parent | 15fc2d76919171a5f3ef1f32654e9509f3b246db (diff) | |
download | cuirass-c8c34f8ee3a62ab3d86a65bae2a4ddafd619088f.tar cuirass-c8c34f8ee3a62ab3d86a65bae2a4ddafd619088f.tar.gz |
http: Serve evaluation logs at /eval/ID/log/raw.
* src/cuirass/base.scm (evaluation-log-file): Export.
* src/cuirass/http.scm (url-handler)[respond-gzipped-file]: New
procedure.
Add handler for /eval/ID/log/raw.
Diffstat (limited to 'src/cuirass/base.scm')
-rw-r--r-- | src/cuirass/base.scm | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/cuirass/base.scm b/src/cuirass/base.scm index 3dbc5f4..c1e6383 100644 --- a/src/cuirass/base.scm +++ b/src/cuirass/base.scm @@ -63,6 +63,8 @@ build-packages prepare-git process-specs + evaluation-log-file + ;; Parameters. %package-cachedir %gc-root-directory |