change_encrypted_request_destination(): Keep the original port instead of defaulting...
authorFabian Keil <fk@fabiankeil.de>
Thu, 7 Jan 2021 13:13:55 +0000 (14:13 +0100)
committerFabian Keil <fk@fabiankeil.de>
Sun, 10 Jan 2021 15:49:44 +0000 (16:49 +0100)
commit594cdeca7423ba3fb23a3b7fe274a054b41e23da
treef35723ccf2b35d8ecaacdf7ba1dda2c0d46a384c
parenteb72eb48387f3d41f04b045b8f0ed5e51cc63a33
change_encrypted_request_destination(): Keep the original port instead of defaulting to 443

... when the rewritten request line does not contain a host and port.
jcc.c