diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2020-03-16 07:22:33 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-16 07:22:33 -0400 |
| commit | 58ff35f5bf26994b519d1591b24aca903b051d8c (patch) | |
| tree | 6db4c4341ad7c4d2f8152798d762a97dd1a3fc9d /components/script/dom/cssgroupingrule.rs | |
| parent | e8e0b702662704572e7c04a78d0ab9e023a0ad5c (diff) | |
| parent | 94db0d61cb6a92e36b2047ec6c643b3fa4734789 (diff) | |
| download | servo-58ff35f5bf26994b519d1591b24aca903b051d8c.tar.gz servo-58ff35f5bf26994b519d1591b24aca903b051d8c.zip | |
Auto merge of #25941 - kunalmohan:25907-DevtoolsServer, r=paulrouget
Add support for launching devtools server on random port
In case the default port(6000) or the port specified by user for
devtools server is already taken, random port will be assigned to
it which is reported to the embedding layer for display to user.
r?@jdm @paulrouget
<!-- Please describe your changes on the following line: -->
---
<!-- 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
- [X] These changes fix #25907 (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. -->
Diffstat (limited to 'components/script/dom/cssgroupingrule.rs')
0 files changed, 0 insertions, 0 deletions