PR #19264 Fix use of default worker pool on workers.

Fix use of default worker pool on workers. #19264

amitmurthy merged 3 commits into master from amitm/extra_ref

amitmurthy force pushed from c61b5e1e to 2be11329 9 years ago

amitmurthy force pushed from 2be11329 to 80bfba78 9 years ago

ViralBShah added parallelism

tkelman commented on 2016-11-08

amitmurthy force pushed from 80bfba78 to 8c8f785d 9 years ago

amitmurthy force pushed from 8c8f785d to d3cd4f71 9 years ago

tkelman commented on 2016-11-18

fix using the default worker pool from workers.

a5b85533

Make WorkerPool objects serializable

c939dab4

eval -> @eval

6bc4052c

amitmurthy force pushed from d3cd4f71 to 6bc4052c 9 years ago

amitmurthy merged 34df9d88 into master 9 years ago

amitmurthy deleted the amitm/extra_ref branch 9 years ago

tkelman commented on 2016-11-25

Reviewers

tkelman

Assignees

No one assigned

Labels

parallelism

Milestone

No milestone