Kyrre Baker

Her i huset bruker vi en proxy-server for å mellomlagre sider, samt å luke ut reklame. Førstnevnte mest på grunn av at vi kan, og sistnevnte på grunn av at vi da utelukkende får servert sider som er «reklamefrie» uten å måtte konfigurere de forskjellige maskinene og nettleserne. I det store og hele fungerer dette glitrende godt, men Opera lager krøll som vanlig.

proxysettings.pac

Her er den fila vi bruker til «automatisk konfigurasjon» av proxy-instillingene våre.

function FindProxyForURL(url, host) {
    if (isInNet(host, "192.168.1.0","255.255.255.0")
        || shExpMatch(url, "https:*"))
        return "DIRECT";
    else
        return "PROXY 192.168.1.10:3128; DIRECT";
}

I nettleserne MSIE og FireFox på Windows samt FireFox på Ubuntu og Camino og FireFox på OS X fungerer dette glitrende godt og proxy-serveren henter ned og «rengjør» sidene før de blir servert til nettleseren.

Siste versjon av Opera ser dog ut til å feile stort på alle disse platformene, og dette til tross for at proxy-serveren leverer ting slik den skal levere ting. Loggen til Squid (proxy-serveren) og AdZap (reklame-vaskeren) sier akkurat det samme når vi besøker en hvilkensomhelst side uansett, men Opera nekter altså plent å bruke mindre en 10-12 sekunder på en sidevisning som de andre nettleserne nå gjør på godt under 1. sekund.

Alle logger er lest på serveren og funnet OK og filen «proxysettings.pac» blir servert med rett mime-type. Noe loggene til serveren også tyder på da Opera gjør at Squid og AdZap gjør det de skal gjøre.

Hva overser jeg her?

Det må da være noe jeg overser her? Opera er installert på nytt, alle brukerinnstillinger og tidligere referanser er slettet, og Opera er satt til å bruke «proxysettings.pac» som «automatic proxy configuration» på akkurat samme måte som de andre- fungerende nettleserne.

Og ja. Dette er retoriske spørsmål og jeg skriver det hele mest i ren frustrasjon. Jeg forventer ikke en snarlig løsning, men skulle jeg slumpe til å se en slik så kommer jeg nok å skrive det ned her en plass.

Så hva er løsningen annet en å slutte å bruke Opera? For det er faktisk ikke et alternativ da det hender det kommer folk innom som gjerne vil bruke nettleseren. Jeg finner i alle fall ikke ut av det, og det hjelper ikke at alt jeg har prøvd fra reinstallasjon til å søke i Operas kunnskaps-database om problemet.

Opera: Easy switch
it will only take a moment of your time

Joda. Men hadde jeg vist at Opera mente «every time» og lot utsagnet falle tilbake på hver eneste gang jeg klikker på en peker så hadde jeg tenkt meg om flere ganger.

Ps: Har du en faktisk løsning på problemet, eller ønsker utdrag av loggfilene mine for å se hva Opera feiler på så ikke nøl med å sende meg en epost.