From 48f74b0097f699eebcb980a6ddd2ea4f6852c071 Mon Sep 17 00:00:00 2001 From: Dylan Griffith Date: Tue, 24 Jan 2023 22:49:47 +0000 Subject: [PATCH] Fix zoekt-dynamic-indexserver zoekt-ci-image This command was recently changed and the dynamic_server argument was removed so it wasn't starting up. --- assets/zoekt-ci-image/run-zoekt-servers | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/assets/zoekt-ci-image/run-zoekt-servers b/assets/zoekt-ci-image/run-zoekt-servers index c5b3bdb..8436361 100755 --- a/assets/zoekt-ci-image/run-zoekt-servers +++ b/assets/zoekt-ci-image/run-zoekt-servers @@ -1,5 +1,5 @@ #!/bin/sh -e -zoekt-dynamic-indexserver -data_dir zoekt/test/data -index_dir zoekt/test/index -dynamic_server -listen :6060 & +zoekt-dynamic-indexserver -data_dir zoekt/test/data -index_dir zoekt/test/index -listen :6060 & zoekt-webserver -index zoekt/test/index -rpc -listen :6070