prefetch-helper.js (770B)
1 async function get_prefetch_info(href) { 2 const response = await fetch(`${href}&mode=info`, {mode: "cors"}); 3 return await response.json(); 4 } 5 6 async function prefetch(p = {}, t) { 7 const link = document.createElement("link"); 8 link.rel = "prefetch"; 9 link.as = p.as; 10 if (p.crossOrigin) 11 link.setAttribute("crossorigin", p.crossOrigin); 12 const uid = token(); 13 const params = new URLSearchParams(); 14 params.set("key", uid); 15 for (const key in p) 16 params.set(key, p[key]); 17 const origin = p.origin || ''; 18 link.href = `${origin}/preload/resources/prefetch-info.py?${params.toString()}`; 19 document.head.appendChild(link); 20 while (!(await get_prefetch_info(link.href)).length) { } 21 return {href: link.href, uid}; 22 }