Loader URL RDFLib Dapat Memakai Lingkungan Proxy urllib
Konfigurasikan jalur pemuatan URL urllib sebelum RDFLib mengurai dokumen jarak jauh, alih-alih mengharapkan opsi dari panggilan Requests lain ikut terbawa.
URLInputSource RDFLib mengunduh melalui urllib.request. Konfigurasikan lingkungan proxy biasa urllib sebelum pertama kali memakai loader URL tersebut:
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')Kedua variabel menunjuk ke pendengar proxy HTTP yang sama. Keduanya mencakup skema tujuan masing-masing, termasuk dokumen RDF melalui HTTPS. Untuk sumber RDF publik pada rute proxy publik yang diizinkan, daftar proxy HTTP menyediakan kandidat untuk URL lingkungan ini.
Jika proses sudah memasang atau membangun opener urllib khusus, periksa penangan proxy-nya. Perubahan lingkungan setelahnya belum tentu membangun ulang penangan tersebut.
Gunakan loader yang disebut dalam traceback saat unduhan lain gagal. Plugin RDF dan pembungkus aplikasi dapat memiliki jalur jaringan tambahan. Argumen proxy pada panggilan Requests terpisah berlaku untuk panggilan itu, bukan untuk loader urllib RDFLib.