af7fefa73f
In case when we have a buffered write, always append to the buffer, even if the pipe happens to be writable now. If not, in case of certain tight race we might end up writing buffered data in wrong order. |
||
---|---|---|
appvm | ||
common | ||
dom0 | ||
netvm | ||
qrexec | ||
rpm_spec | ||
u2mfn | ||
vchan | ||
.gitignore | ||
LICENSE | ||
Makefile | ||
version_dom0 | ||
version_vm |