This already kind if works in the latest version (on a Galaxy Nexus running 4.2.2). Playing MP3 based streams honours the system wide proxy settings (or WLAN specific proxy setting in my case).
OGG based streams do not, however. Looking at the system log I suspect that MP3 is handled by a different decoder engine than OGG. OGG based streams connect to the stream once using the proxies (all the headers show up in the log), and then attempt to establish a direct connection to the streaming source (tcp://...), which fails.
This already kind if works in the latest version (on a Galaxy Nexus running 4.2.2). Playing MP3 based streams honours the system wide proxy settings (or WLAN specific proxy setting in my case).
OGG based streams do not, however. Looking at the system log I suspect that MP3 is handled by a different decoder engine than OGG. OGG based streams connect to the stream once using the proxies (all the headers show up in the log), and then attempt to establish a direct connection to the streaming source (tcp://...), which fails.