Public Git Hosting - hiphop-php.git/commit

commit	54c300c40358ce83cb629c6859b58a7b71cde31e
author	Manuel Fahndrich <fahndrich@fb.com>
	Fri, 5 Oct 2018 01:26:16 +0000 (4 18:26 -0700)
committer	Hhvm Bot <hhvm-bot@users.noreply.github.com>
	Fri, 5 Oct 2018 01:29:17 +0000 (4 18:29 -0700)
tree	64ce770964474f9189809dc0d956e8eadfb2faed	tree \| snapshot (tar.gz zip)
parent	8374ab0c0b85ec77eb23a61065493f6e864c3fdb	commit \| diff

Extend parallel worker interface to allow merge to know worker_id

Reviewed By: xhavokx

Differential Revision: D10136386

fbshipit-source-id: 1a22d271b03f58d1d0f11e86a1e725702c45f764

RSS Atom

hphp/hack/src/procs/multiThreadedCall.ml		diff \| blob \| blame \| history
hphp/hack/src/procs/multiThreadedCall.mli		diff \| blob \| blame \| history
hphp/hack/src/procs/multiWorker.ml		diff \| blob \| blame \| history
hphp/hack/src/procs/multiWorker.mli		diff \| blob \| blame \| history
hphp/hack/src/procs/multiWorkerLwt.ml		diff \| blob \| blame \| history
hphp/hack/src/procs/workerController.ml		diff \| blob \| blame \| history
hphp/hack/src/procs/workerController.mli		diff \| blob \| blame \| history