ti.sil/sourcebot
1
0
Fork 0
mirror of https://github.com/sourcebot-dev/sourcebot.git synced 2025-12-14 21:35:25 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

add zoekt max wall time env var

Browse source
This commit is contained in:
msukkari 2025-03-25 09:14:05 -07:00
parent 92a81387df
commit b099b4adb5
2 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
packages/web/src/env.mjs
View file

@ -16,6 +16,7 @@ export const env = createEnv({
ZOEKT_WEBSERVER_URL: z.string().url().default("http://localhost:6070"), ZOEKT_WEBSERVER_URL: z.string().url().default("http://localhost:6070"),
SHARD_MAX_MATCH_COUNT: numberSchema.default(10000), SHARD_MAX_MATCH_COUNT: numberSchema.default(10000),
TOTAL_MAX_MATCH_COUNT: numberSchema.default(100000), TOTAL_MAX_MATCH_COUNT: numberSchema.default(100000),
ZOEKT_MAX_WALL_TIME_MS: numberSchema.default(10000),
// Auth // Auth
AUTH_SECRET: z.string(), AUTH_SECRET: z.string(),

1
packages/web/src/lib/server/searchService.ts
View file

@ -61,6 +61,7 @@ export const search = async ({ query, maxMatchDisplayCount, whole}: SearchReques
Whole: !!whole, Whole: !!whole,
ShardMaxMatchCount: env.SHARD_MAX_MATCH_COUNT, ShardMaxMatchCount: env.SHARD_MAX_MATCH_COUNT,
TotalMaxMatchCount: env.TOTAL_MAX_MATCH_COUNT, TotalMaxMatchCount: env.TOTAL_MAX_MATCH_COUNT,
MaxWallTime: env.ZOEKT_MAX_WALL_TIME_MS * 1000 * 1000, // zoekt expects a duration in nanoseconds
} }
}); });