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 /.dir-locals.el | |
| 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 '.dir-locals.el')
| -rw-r--r-- | .dir-locals.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.dir-locals.el b/.dir-locals.el index 755c848..9a065ae 100644 --- a/.dir-locals.el +++ b/.dir-locals.el @@ -12,7 +12,8 @@ (eval put 'call-with-time 'scheme-indent-function 1) (eval put 'test-error 'scheme-indent-function 1) (eval put 'make-parameter 'scheme-indent-function 1) - (eval put 'with-database 'scheme-indent-function 1)) + (eval put 'with-database 'scheme-indent-function 1) + (eval . (put 'with-critical-section 'scheme-indent-function 2))) (texinfo-mode (indent-tabs-mode) (fill-column . 72) |