fix: launch another port when updating

This commit is contained in:
Andy Lee
2025-09-30 13:00:00 -07:00
parent 16f35aa067
commit 6b399ad8d2

View File

@@ -813,11 +813,16 @@ class LeannBuilder:
"Failed to start HNSW embedding server for recompute update." "Failed to start HNSW embedding server for recompute update."
) )
if actual_port != requested_zmq_port: if actual_port != requested_zmq_port:
server_manager.stop_server() logger.warning(
raise RuntimeError( "Embedding server started on port %s instead of requested %s. "
"Embedding server started on unexpected port " "Using reassigned port.",
f"{actual_port}; expected {requested_zmq_port}. Make sure the desired ZMQ port is free." actual_port,
requested_zmq_port,
) )
try:
index.hnsw.zmq_port = actual_port
except AttributeError:
pass
if needs_recompute: if needs_recompute:
for i in range(embeddings.shape[0]): for i in range(embeddings.shape[0]):