diff options
author | bors-servo <servo-ops@mozilla.com> | 2020-12-28 14:35:11 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-28 14:35:11 -0500 |
commit | c0abe7413f06e2b78fea4a649bfe3d568918a51b (patch) | |
tree | 07110cce44220fafe5cdb405f03c98ffd9971a49 /components/script/textinput.rs | |
parent | eca62cfdf4d971c5941d7023b0475b3ee6246640 (diff) | |
parent | 1f38e3411d76c5ad89a51d8b3c631bcf94aa1b21 (diff) | |
download | servo-c0abe7413f06e2b78fea4a649bfe3d568918a51b.tar.gz servo-c0abe7413f06e2b78fea4a649bfe3d568918a51b.zip |
Auto merge of #27994 - teymour-aldridge:fix-divide-by-zero, r=emilio
Fix num_threads to avoid divide by zero error when running without a thread pool
Signed-off-by: teymour-aldridge <teymour.aldridge@icloud.com>
<!-- Please describe your changes on the following line: -->
This updates the style thread pool to set `num_threads` to `None` rather than `0` when running without a thread pool.
---
<!-- Thank you for contributing to Servo! Please replace each `[ ]` by `[X]` when the step is complete, and replace `___` with appropriate data: -->
- [x] `./mach build -d` does not report any errors
- [x] `./mach test-tidy` does not report any errors
- [ ] These changes fix #___ (GitHub issue number if applicable)
<!-- Either: -->
- [ ] There are tests for these changes OR
- [ ] These changes do not require tests because ___
I *think* this change might not need tests, but if it does I'm not sure exactly how to do so.
<!-- Also, please make sure that "Allow edits from maintainers" checkbox is checked, so that we can help you if you get stuck somewhere along the way.-->
<!-- Pull requests that do not address these steps are welcome, but they will require additional verification as part of the review process. -->
Diffstat (limited to 'components/script/textinput.rs')
0 files changed, 0 insertions, 0 deletions