diff options
author | Ludovic Courtès <ludo@gnu.org> | 2018-01-26 14:17:18 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2018-01-26 14:17:18 +0100 |
commit | 5d559f8021b2f245aaba5bb184cb4a6b07a5e744 (patch) | |
tree | 1aa166326e46f1a14bd46090a853f4877025151c /bin | |
parent | 255e281a0c8dec167a0acabaa33d66bb77b4e263 (diff) | |
download | cuirass-5d559f8021b2f245aaba5bb184cb4a6b07a5e744.tar cuirass-5d559f8021b2f245aaba5bb184cb4a6b07a5e744.tar.gz |
logging: Add 'with-time-logging' and use it.
* src/cuirass/logging.scm (call-with-time-logging): New procedure.
(with-time-logging): New macro.
* src/cuirass/http.scm (handle-builds-request): Use it.
Diffstat (limited to 'bin')
0 files changed, 0 insertions, 0 deletions