بارگذار URL در RDFLib میتواند از محیط پروکسی urllib استفاده کند
مسیر بارگذاری URL در urllib را پیش از آنکه RDFLib یک سند راه دور را تجزیه کند پیکربندی کنید، بهجای اینکه انتظار داشته باشید گزینههای یک فراخوانی دیگر Requests منتقل شود.
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.