mirror of
https://github.com/servo/servo
synced 2026-05-08 16:12:15 +02:00
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.
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.