| commit | 522c593fb4bf8f93afab78283c7d1aee65cf6a4d | |
| author | Gabe Levi <gabe@fb.com> | |
| Thu, 14 Jun 2018 21:37:43 +0000 (14 14:37 -0700) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Thu, 14 Jun 2018 21:42:33 +0000 (14 14:42 -0700) | ||
| tree | b358cea295ef9d4f1a6ba032fcd3e3e59f2a7f4e | treesnapshot (tar.gz zip) |
| parent | c75815fc96fb4d2486c8a479585b7187942110b5 | commitdiff |
Buffered_line_reader_lwt
Summary:
Buffered_line_reader exists because it's difficult to mix buffered channels with Unix.select.
I'm introducing Buffered_line_reader_lwt because it's difficult to mix lwt buffered channels with Lwt_unix.wait_read
I plan to use this in Watchman_lwt (Watchman uses Buffered_line_reader)
Reviewed By: avikchaudhuri
Differential Revision: D8249206
fbshipit-source-id: 50d3305e10300d5be273bd6c1f47349d2481c12f
Summary:
Buffered_line_reader exists because it's difficult to mix buffered channels with Unix.select.
I'm introducing Buffered_line_reader_lwt because it's difficult to mix lwt buffered channels with Lwt_unix.wait_read
I plan to use this in Watchman_lwt (Watchman uses Buffered_line_reader)
Reviewed By: avikchaudhuri
Differential Revision: D8249206
fbshipit-source-id: 50d3305e10300d5be273bd6c1f47349d2481c12f
| hphp/hack/src/utils/buffered_line_reader.ml | diffblobblamehistory | |
| hphp/hack/src/utils/buffered_line_reader.mli | diffblobblamehistory | |
| hphp/hack/src/utils/buffered_line_reader_lwt.ml | [new file with mode: 0644] | blob |
| hphp/hack/src/utils/buffered_line_reader_lwt.mli | [new file with mode: 0644] | blob |
| hphp/hack/src/utils/buffered_line_reader_sig.ml | [copied from hphp/hack/src/utils/buffered_line_reader.mli with 52% similarity] | diffblobblamehistory |