URLInputSource din RDFLib descarcă prin urllib.request. Configurați mediul proxy obișnuit al urllib înainte de prima utilizare a acelui încărcător de 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')

Ambele variabile indică același ascultător proxy HTTP. Acoperă schemele de destinație respective, inclusiv un document RDF prin HTTPS. Pentru surse RDF publice pe o rută de proxy public permisă, lista de proxy HTTP oferă candidați pentru aceste URL-uri de mediu.

Dacă procesul a instalat sau a construit deja un opener urllib personalizat, inspectați handlerul său de proxy. O modificare ulterioară a mediului nu reconstruiește neapărat acel handler.

Folosiți încărcătorul numit în traceback când o altă descărcare eșuează. Pluginurile RDF și învelișurile aplicațiilor pot avea căi de rețea suplimentare. Un argument proxy pe o apel Requests separat se aplică acelui apel, nu încărcătorului urllib al RDFLib.

Articole similare