[MPlayer-dev-eng] [PATCH] include port num in Host: header

[Alex Beregszaszi]

Hi,

> When mplayer does an HTTP request, it sends a Host: header without a
> port number. But if the port number is not 80, it should be included
> (according to RFC2616). Some servers get confused by this. Patch below
> fixes the problem.
Applied

-- 
Alex Beregszaszi 			e-mail: alex at fsn.hu
Free Software Network			cell: +36 70 3144424