diff options
| author | Kunal Mohan <kunalmohan99@gmail.com> | 2020-03-07 20:23:14 +0530 |
|---|---|---|
| committer | Kunal Mohan <kunalmohan99@gmail.com> | 2020-03-16 15:30:26 +0530 |
| commit | 94db0d61cb6a92e36b2047ec6c643b3fa4734789 (patch) | |
| tree | 03bd48d6418073fce5da1a21c242d780021513cd /components/script/dom/webgl_extensions/wrapper.rs | |
| parent | 6ab923c8e8172ce1a4944b85cac549fa99ec9f4d (diff) | |
| download | servo-94db0d61cb6a92e36b2047ec6c643b3fa4734789.tar.gz servo-94db0d61cb6a92e36b2047ec6c643b3fa4734789.zip | |
Add support for launching devtools server on random port
Assign random port to devtools server in case user does not specify a
port explicitly and report it to the embedding layer for display to user.
Diffstat (limited to 'components/script/dom/webgl_extensions/wrapper.rs')
0 files changed, 0 insertions, 0 deletions