Дополнительное
"теневое"
соединение в "Опции" -> "Параметры" -> "Сеть"
используется для
телефонов, разрывающих GPRS-сессию,
после закрытия соединения (на данный момент это SE-K750). Соединение
устанавливается с адресом "http://www.opera.com/products/mobile/operamini/faq/",
который можно изменить на любой другой. Подключение устанавливается при
первом (после установки галочки или запуске) открытии страницы и
поддерживается открытым
до выхода из программы. "Прокси" - показывает
HTTP прокси из настроек телефона.
В том же меню можно выбрать сервер Opera Mini
из списка известных на данный момент или добавить "свой". Сделано в
связи с прикрытием некоторых из них. Нет никакой гарантии, что
программа будет работать со "старыми" серверами, т.к. они
использовались в тестовый период и могут быть "закрыты".
F.A.Q. >> Настройка сети.