maride/hacktricks
1
0
Fork 0
mirror of https://github.com/HackTricks-wiki/hacktricks.git synced 2025-10-10 18:36:50 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix search

Browse Source
This commit is contained in:
Carlos Polop 2025-04-21 00:17:18 +02:00
parent 1ce03e414e
commit b8d19427cf
1 changed files with 1 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
theme/ht_searcher.js
View File

@ -476,16 +476,9 @@ window.search = window.search || {};
const branch = lang === 'en' ? 'master' : lang; const branch = lang === 'en' ? 'master' : lang;
const baseRemote = `https://raw.githubusercontent.com/HackTricks-wiki/hacktricks/${branch}`; const baseRemote = `https://raw.githubusercontent.com/HackTricks-wiki/hacktricks/${branch}`;
const remoteJs = `${baseRemote}/searchindex.js`; const remoteJs = `${baseRemote}/searchindex.js`;
const localJs = './searchindex.js'; const localJs = '/searchindex.js';
const TIMEOUT_MS = 5_000; const TIMEOUT_MS = 5_000;
/* ───────── helpers ───────── */
const fetchWithTimeout = (url, opt = {}) =>
Promise.race([
fetch(url, opt),
new Promise((_, r) => setTimeout(() => r(new Error('timeout')), TIMEOUT_MS))
]);
const loadScript = src => const loadScript = src =>
new Promise((resolve, reject) => { new Promise((resolve, reject) => {
const s = document.createElement('script'); const s = document.createElement('script');