Il caricatore di URL di RDFLib può usare l’ambiente proxy di urllib
Configura il percorso di caricamento URL di urllib prima che RDFLib analizzi un documento remoto, invece di aspettarti che le opzioni di un’altra chiamata Requests si propaghino.
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.