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 /tests/basic.sh | |
| 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 'tests/basic.sh')
0 files changed, 0 insertions, 0 deletions