diff options
| author | Ludovic Courtès <ludovic.courtes@inria.fr> | 2018-04-02 22:25:23 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludovic.courtes@inria.fr> | 2018-04-02 22:25:23 +0200 |
| commit | f090c0f4786c789070e2eae740914e06ab0ab989 (patch) | |
| tree | 7dc87e888a90233bd20e161af540bb5d5722c4ee /examples | |
| parent | 543709fbca4f20164b30f1dded33442c373fc9d2 (diff) | |
| download | cuirass-f090c0f4786c789070e2eae740914e06ab0ab989.tar cuirass-f090c0f4786c789070e2eae740914e06ab0ab989.tar.gz | |
utils: Add critical sections.
* src/cuirass/utils.scm (make-critical-section)
(call-with-critical-section): New procedures.
(with-critical-section): New macro.
* src/cuirass/http.scm (with-database-access): Remove.
(handle-build-request, handle-builds-request, url-handler): Use
'with-critical-section' instead of 'with-database-access'.
(run-cuirass-server): Remove 'spawn-fiber' call. Use
'make-critical-section' instead.
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions