[FFmpeg-trac] #7223(undetermined:new): ffmpeg fails to get https over http proxy

[FFmpeg]

#7223: ffmpeg fails to get https over http proxy
-------------------------------------+-------------------------------------
             Reporter:  flaisob      |                     Type:  defect
               Status:  new          |                 Priority:  normal
            Component:               |                  Version:
  undetermined                       |  unspecified
             Keywords:               |               Blocked By:
             Blocking:               |  Reproduced by developer:  0
Analyzed by developer:  0            |
-------------------------------------+-------------------------------------
 ffmpeg version 4.0 Copyright (c) 2000-2018 the FFmpeg developers
   built with gcc 5.4.0 (Ubuntu 5.4.0-6ubuntu1~16.04.9) 20160609
   configuration: --enable-gpl --enable-libx264 --enable-libx265 --enable-
 nonfree --enable-openssl

 ---

 ffmpeg fails to CONNECT through http proxy for https urls when using
 -http_proxy command line.

 It does try to use the proxy when setting the http_proxy environment
 variable.  But, then it fails.

 My use case is to get get https m3u8 files and the https segment urls
 through the proxy, but here are simple examples:

 Works without proxy:
 ffmpeg -i "https://img-prod-cms-rt-microsoft-
 com.akamaized.net/favicon.ico" f.ico

 ffmpeg -i "https://twitter.com/favicon.ico" t.ico

 Doesn't use proxy for https, it gets the file but not through the proxy:

 ffmpeg -http_proxy http://127.0.0.1:3135 -i
 "https://twitter.com/favicon.ico" t.ico


 Uses proxy for https but fails:

 export http_proxy=http://127.0.0.1:1234

 ffmpeg -i "https://img-prod-cms-rt-microsoft-
 com.akamaized.net/favicon.ico" f.ico
 segmentation fault (core dumped)

 ffmpeg -i "https://twitter.com/favicon.ico" t.ico
 [tls @ 0x2d4a4c0] error:140770FC:SSL
 routines:SSL23_GET_SERVER_HELLO:unknown protocol
 https://twitter.com/favicon.ico: Input/output error

 Those urls work with curl using the same proxy.

 Works:
 curl -x http://localhost:1234 "https://twitter.com/favicon.ico"

--
Ticket URL: <https://trac.ffmpeg.org/ticket/7223>
FFmpeg <https://ffmpeg.org>
FFmpeg issue tracker