URLInputSource di RDFLib scarica tramite urllib.request. Configura l’ambiente proxy usuale di urllib prima di usare per la prima volta quel caricatore di URL:

import os
from rdflib import Graph

os.environ['http_proxy'] = 'http://proxy.example:8080'
os.environ['https_proxy'] = 'http://proxy.example:8080'

graph = Graph()
graph.parse('https://data.example/catalog.ttl', format='turtle')

Entrambe le variabili indicano lo stesso listener proxy HTTP. Coprono i rispettivi schemi di destinazione, incluso un documento RDF su HTTPS. Per le fonti RDF pubbliche su un percorso proxy pubblico consentito, la lista di proxy HTTP fornisce candidati per questi URL di ambiente.

Se il processo ha già installato o costruito un opener urllib personalizzato, ispeziona il suo gestore proxy. Una modifica successiva dell’ambiente non ricostruisce necessariamente quel gestore.

Usa il caricatore indicato nel traceback quando un altro download fallisce. I plugin RDF e i wrapper delle applicazioni possono avere percorsi di rete aggiuntivi. Un argomento proxy su una chiamata Requests separata vale per quella chiamata, non per il caricatore urllib di RDFLib.

Articoli correlati