Le chargeur d’URL de RDFLib peut utiliser l’environnement de proxy d’urllib

Configurez le chemin de chargement d’URL d’urllib avant que RDFLib n’analyse un document distant, au lieu d’attendre que les options d’un autre appel Requests se propagent.

Le URLInputSource de RDFLib télécharge via urllib.request. Configurez l’environnement de proxy habituel d’urllib avant la première utilisation de ce chargeur d’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')

Les deux variables désignent le même écouteur de proxy HTTP. Elles couvrent les schémas de destination respectifs, y compris un document RDF en HTTPS. Pour les sources RDF publiques sur une route de proxy public autorisée, la liste de proxys HTTP fournit des candidats pour ces URL d’environnement.

Si le processus a déjà installé ou construit un opener urllib personnalisé, inspectez son gestionnaire de proxy. Une modification ultérieure de l’environnement ne reconstruit pas nécessairement ce gestionnaire.

Utilisez le chargeur nommé dans la trace lorsqu’un autre téléchargement échoue. Les plugins RDF et les enveloppes d’application peuvent posséder des chemins réseau supplémentaires. Un argument de proxy sur un appel Requests distinct s’applique à cet appel, et non au chargeur urllib de RDFLib.

Articles similaires