diff options
author | Clément Lassieur <clement@lassieur.org> | 2018-07-27 08:28:12 +0200 |
---|---|---|
committer | Clément Lassieur <clement@lassieur.org> | 2018-07-27 21:20:52 +0200 |
commit | 70d85c0c642be0b5aaca567857ba416a1f4cee8c (patch) | |
tree | 4a47b0ca47a15073362ab11d3c08a25c1421e67f /bootstrap | |
parent | 6f8dc0b6169fa43a340377e3a95a0352cfc2148a (diff) | |
download | cuirass-70d85c0c642be0b5aaca567857ba416a1f4cee8c.tar cuirass-70d85c0c642be0b5aaca567857ba416a1f4cee8c.tar.gz |
utils: Prevent critical section clients to talk to each other.
* src/cuirass/utils.scm (make-critical-section): Put the modified message to
the REPLY channel that was part of the initial message.
(call-with-critical-section): Create a REPLY channel, add it to the sent
message, get the modified message from that channel.
Co-authored-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'bootstrap')
0 files changed, 0 insertions, 0 deletions