Worker remembers its handle when it's busy
commitd2a876e0168908a3f5ab2b21c49c5a08e69d04b6
authorKasper Kopec <kasper@fb.com>
Sat, 26 May 2018 03:01:58 +0000 (25 20:01 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Sat, 26 May 2018 03:14:29 +0000 (25 20:14 -0700)
tree6c864801d2784c136c25e33f7ec81244b5d45484
parent515654244c2feb1f4b373dbf5467ca931043ef2b
Worker remembers its handle when it's busy

Summary:
Infrastructure needed to make {D8087556} work.

(Note: this ignores all push blocking failures!)

Reviewed By: alexchow

Differential Revision: D8168705

fbshipit-source-id: 2de3dd5f607aa255d32b4282d1015047a097b14e
hphp/hack/src/procs/multiThreadedCall.ml
hphp/hack/src/procs/workerController.ml
hphp/hack/src/procs/workerController.mli