Skip to content

/ servo

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add support for launching devtools server on random port #25941

Merged
merged 1 commit into from Mar 16, 2020
Merged

Add support for launching devtools server on random port #25941

merged 1 commit into from Mar 16, 2020
+73 −9

Commits on Mar 16, 2020

  1. 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.
    @kunalmohan
    kunalmohan committed Mar 16, 2020
    Loading status checks…
    Verified
    This commit was signed with a verified signature.
    kunalmohan Kunal Mohan
    GPG key ID: 2B475A4524237BAC Learn about signing commits
    94db0d6
You can’t perform that action at this time.