Roczek i proxy

Jutro (a dokładniej o 1:20) Krysia kończy roczek. Więc dzisiaj, mimo święta przygotowywaliśmy się na jutrzejszą „imprezę”.

Tym razem udało mi się jednak dobrać na chwilę do transportu GG i sprawdziłem sprawę połączeń przez proxy, które podobno nie działają (miałem dwa takie zgłoszenia). U mnie zadziałało, przy poniższych ustawieniach (domyślne połączenia przez hub używają portu 8074, którego proxy może nie przepuszczać):

 <servers>
        <server port="443">217.17.41.85</server>
        <server port="443">217.17.41.88</server>
        <hub/>
 </servers>

 <proxy>
        <ip>127.0.0.1</ip>
        <port>8080</port>
 </proxy>

Dodałem też dodatkowe elementy konfiguracji proxy: <username/>, <password/> oraz atrybut „http_only”. Myślę, że nazwy mówią same za siebie.