Warp - Configurable Proxy Port - DefaultURLMapping

[razvanpetre]

Would it be possible to allow the warp proxy port to be configurable ? At the moment it is hard-coded to 18080 and there is no way to change it.

Thank you for your help !

{code}

public class DefaultURLMapping implements URLMapping {

    private static final int BASE = 18080;

    private int sequenceNumber = 0;

{code}