URLInputSource در RDFLib از طریق urllib.request دانلود می‌کند. محیط پروکسی معمول urllib را پیش از نخستین استفاده از آن بارگذار 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')

هر دو متغیر به یک شنونده پروکسی HTTP اشاره می‌کنند. آن‌ها طرح‌های مقصد مربوط را پوشش می‌دهند، از جمله یک سند RDF روی HTTPS. برای منابع عمومی RDF روی مسیری مجاز از پروکسی عمومی، فهرست پروکسی HTTP نامزدهایی برای این URLهای محیطی فراهم می‌کند.

اگر فرایند از پیش یک opener سفارشی urllib نصب یا ساخته باشد، مدیریت‌کننده پروکسی آن را بررسی کنید. تغییر بعدی محیط لزوماً آن مدیریت‌کننده را دوباره نمی‌سازد.

وقتی دانلود دیگری شکست می‌خورد، از بارگذاری استفاده کنید که در traceback نام برده شده است. افزونه‌های RDF و پوشش‌های برنامه می‌توانند مسیرهای شبکه اضافی داشته باشند. آرگومان پروکسی در یک فراخوانی جداگانه Requests به همان فراخوانی اعمال می‌شود، نه به بارگذار urllib در RDFLib.

مقالات مرتبط