Routing Servo's HTTP/HTTPS traffic to local ports?

[rzambre]

Is there currently a way to route Servo's HTTP/HTTPS traffic to some local ports, say localhost:x, localhost:y? If not, what files need to played around with to incorporate such a feature? The idea is to set up port-forwarding between the Mac and the Android device using adb reverse but first I need to be able to configure Servo to forward its HTTP/HTTPS traffic to device-ports.

In particular, I'm trying to record the HTTP/HTTPS requests of Servo-on-Android using WPR on the Mac host. That way I can replay the same HTTP data to acquire repeatable performance results.

[jdm]

There is no current mechanism to do this. What you would likely need to do is modify https://dxr.mozilla.org/servo/rev/5bafa1ba1d71a80bbc2981cd3115e6fe641e8ce4/components/net/http_loader.rs#754 to replace the port in the URL that's going to be resolved with the redirected port as appropriate.