[vlc-devel] [PATCH] http: Fix HLS playback on some servers

[John Cox]

Hi

>Le 8 janvier 2024 20:42:00 GMT+02:00, John Cox <jc at kynesim.co.uk> a écrit :
>>https://github.com/RPi-Distro/vlc/issues/101
>>
>>The issue is that the server doesn't like the port number on the end of
>>the Host line. This is a server fault, but it is legitimate to omit the
>>port number if it is the default so remove it if that is the case.
>
>The intended behaviour is to include a port number in the authority if (and 
>only if) there is a port number in, well, the authority part of the URL.
>
>We can't systematically remove it. Postel's law and all.

OK - thats a fair point (though a quick reading of the syntax of the
Host: line suggests it should be OK). In that case with the issue I have
here where VLC appears to have invented a :443 and added it to the
hostname the user asked for I guess I have to prevent it doing that
instead?

Thanks

John Cox