Установить прокси для игрока Vitamio

Question

Я хочу играть в поток mms, поэтому я использую Vitamio Player. В открытой сети он играет хорошо. Но на прокси дает ошибку. Так как же я установить прокси-сервер для этого .. я попытался

System.setProperty("http.proxyHost", "my proxy host name"); 
System.setProperty("http.proxyPort", "8080"); 

но не кажется, что работает как для vitamio плеера, ни андроида медиа-плеер. Я нацелен на Android 4.2. Не существует ли положения о настройке прокси-сервера в Android Media PLayer?

Answer 1

Я думаю, что глобальный прокси установлен в ConnectivityService.java через setGlobalProxy, как показано в http://androidxref.com/4.2_r1/xref/frameworks/base/services/java/com/android/server/ConnectivityService.java#3054. Я не уверен, есть ли какое-либо системное свойство для установки глобального прокси.