Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Avoid an error when a channel is flushed during close (details)
  2. review (details)
  3. #14093 was backported (details)
Commit fe89cb9ace6789a09dde59153185929442db658c by sdolan
Avoid an error when a channel is flushed during close
The file was modifiedruntime/io.c (diff)
The file was addedtestsuite/tests/lib-channels/close_during_flush.reference
The file was modifiedChanges (diff)
The file was addedtestsuite/tests/lib-channels/close_during_flush.ml
The file was modifiedruntime/io.c (diff)
The file was modifiedChanges (diff)
The file was modifiedtestsuite/tests/lib-channels/close_during_flush.ml (diff)
The file was modifiedChanges (diff)