diff options
| author | Ben Smith <binjimin@gmail.com> | 2017-02-23 17:37:28 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-02-23 17:37:28 -0800 |
| commit | b86721bdeb746ff86db73385f449a4af882501b2 (patch) | |
| tree | 44b7b25a6f2165ff027d79af1d61f05a8f4fdcbd /src/binary-reader-objdump.cc | |
| parent | e20131dac9bd01799ce4397cdf7e67f40001356d (diff) | |
| download | wabt-b86721bdeb746ff86db73385f449a4af882501b2.tar.gz wabt-b86721bdeb746ff86db73385f449a4af882501b2.tar.bz2 wabt-b86721bdeb746ff86db73385f449a4af882501b2.zip | |
Use multiprocessing.pool (#312)
This replaces the ad-hoc mechanism we used before with threads. We'll
have to keep an eye on the Travis build, as we switched away from
multiprocessing before because it would flake occasionally. Hopefully
multiprocessing.pool doesn't have the same issue.
This also removes should_stop_on_error from the RunMultiThreaded path,
as it isn't allowed anyway (it early-outs when parsing arguments).
Diffstat (limited to 'src/binary-reader-objdump.cc')
0 files changed, 0 insertions, 0 deletions