Make run-zoekt-servers name version independent

This commit is contained in:
Changzheng Liu 2024-01-23 14:18:57 -08:00
parent 2b94df34d8
commit 33f657b392
3 changed files with 2 additions and 2 deletions