diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-09-17 22:00:26 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-09-17 22:10:31 +0200 |
| commit | 3809824199cdd52446176c9cd4761dd09f732542 (patch) | |
| tree | c895b78c0f2b317b7aceb586313686034189bd4b /doc | |
| parent | d68aa41573bff6614a73ea28249cfd88fe206d38 (diff) | |
| download | gnu-guix-3809824199cdd52446176c9cd4761dd09f732542.tar gnu-guix-3809824199cdd52446176c9cd4761dd09f732542.tar.gz | |
store: Add missing buffer flushes.
This could result in deadlock in unusual situations, whereby we'd start
waiting for a reply while the query hasn't been flushed to the socket.
* guix/store.scm (buffering-output-port)[flush]: Add call to
'force-output'.
(add-to-store): Add call to 'write-buffered-output'.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions