De URLInputSource van RDFLib downloadt via urllib.request. Configureer de gebruikelijke proxy-omgeving van urllib voordat je die URL-loader voor het eerst gebruikt:

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')

Beide variabelen wijzen naar dezelfde HTTP-proxylistener. Ze dekken de respectieve bestemmingsschema’s, inclusief een RDF-document via HTTPS. Voor openbare RDF-bronnen op een toegestane openbare proxyroute levert de HTTP-proxylijst kandidaten voor deze omgevings-URL’s.

Als het proces al een aangepaste urllib-opener heeft geïnstalleerd of gebouwd, inspecteer dan de proxy-handler ervan. Een latere omgevingswijziging bouwt die handler niet noodzakelijk opnieuw.

Gebruik de loader die in de traceback wordt genoemd wanneer een andere download mislukt. RDF-plug-ins en applicatiewrappers kunnen extra netwerkpaden hebben. Een proxy-argument bij een aparte Requests-aanroep geldt voor die aanroep, niet voor de urllib-loader van RDFLib.

Gerelateerde artikelen