diff options
| author | bors-servo <servo-ops@mozilla.com> | 2020-08-06 14:02:17 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-06 14:02:17 -0400 |
| commit | 6a7e9ff438da01f5ea6e566d985e8df9ceeb6adf (patch) | |
| tree | c9cfa448dc8ca5278656aeb753b04d0fe0ac3c3b /components/script/dom/webglframebuffer.rs | |
| parent | 08328c22d69d728ea7ed78434dbe8d15356738e0 (diff) | |
| parent | f4915ef6c98995871fc9b3f9218877f12df2ca21 (diff) | |
| download | servo-6a7e9ff438da01f5ea6e566d985e8df9ceeb6adf.tar.gz servo-6a7e9ff438da01f5ea6e566d985e8df9ceeb6adf.zip | |
Auto merge of #27512 - jdm:devtools-panic, r=Manishearth
Handle devtools clients disconnecting better
These changes fix many opportunities for the devtools server to panic if a client disconnects early. Now that it's easy to have multiple clients connected simultaneously, this also makes it easier for server code to distinguish between different clients and ensure that one client disconnecting doesn't affect another client that's still connected.
---
- [x] `./mach build -d` does not report any errors
- [x] `./mach test-tidy` does not report any errors
- [x] These changes fix #27509
- [x] These changes do not require tests because the devtools server is a wild west.
<!-- 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/dom/webglframebuffer.rs')
0 files changed, 0 insertions, 0 deletions