| commit | e6dd48c84e5fc3189b03ab54e5f436c022f0e4b6 | |
| author | Gabe Levi <gabe@fb.com> | |
| Thu, 15 Nov 2018 00:24:34 +0000 (14 16:24 -0800) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Thu, 15 Nov 2018 00:45:35 +0000 (14 16:45 -0800) | ||
| tree | d8f0b2fa7d21c6fee083699a258fbd4d23fc9a48 | treesnapshot (tar.gz zip) |
| parent | f0362fc78430c063d79d218470dfcd700dd11138 | commitdiff |
Fix bug in Watchman_lwt.close_connection
Summary: There was a bug in `Watchman_lwt` which would cause `EBADF` (error, bad file descriptor) to be thrown when closing a connection via `Watchman_lwt`. Since we never would purposely close a connection, we weren't hitting this.
Reviewed By: samwgoldman
Differential Revision: D13060172
fbshipit-source-id: fc6a75b9cfe6b31b7cd9d2b13b23452366a3dbce
Summary: There was a bug in `Watchman_lwt` which would cause `EBADF` (error, bad file descriptor) to be thrown when closing a connection via `Watchman_lwt`. Since we never would purposely close a connection, we weren't hitting this.
Reviewed By: samwgoldman
Differential Revision: D13060172
fbshipit-source-id: fc6a75b9cfe6b31b7cd9d2b13b23452366a3dbce
| hphp/hack/src/watchman/watchman_lwt.ml | diffblobblamehistory |