diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-06-23 10:16:00 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-23 10:16:00 -0400 |
| commit | d70e131247fcd5fb8ad2aad98a38e61e5f738cf2 (patch) | |
| tree | 07dbf4d63fffabf12afa53866ef632968dfd70b7 /components/script/task_source | |
| parent | 920ea9fb17c6a5da5b0812825933127c370f5717 (diff) | |
| parent | 96c124230b367c0c9658e3628bcb0a33533cc96c (diff) | |
| download | servo-d70e131247fcd5fb8ad2aad98a38e61e5f738cf2.tar.gz servo-d70e131247fcd5fb8ad2aad98a38e61e5f738cf2.zip | |
Auto merge of #21079 - gterzian:fix_cache_refresh, r=jdm
Handle case of refreshed cache entry still receiving data
<!-- Please describe your changes on the following line: -->
When refreshing cached entries, handle the case the the entry is still "receiving"...
---
<!-- Thank you for contributing to Servo! Please replace each `[ ]` by `[X]` when the step is complete, and replace `__` with appropriate data: -->
- [ ] `./mach build -d` does not report any errors
- [ ] `./mach test-tidy` does not report any errors
- [ ] These changes fix #20802 (github issue number if applicable).
<!-- Either: -->
- [ ] There are tests for these changes OR
- [ ] These changes do not require tests because _____
<!-- 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. -->
<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/21079)
<!-- Reviewable:end -->
Diffstat (limited to 'components/script/task_source')
0 files changed, 0 insertions, 0 deletions