[exec-server] add HTTP health endpoints

This commit is contained in:
Ruslan Nigmatullin
2026-05-09 20:38:35 +00:00
parent ebe75bb683
commit 6f40914087
20 changed files with 279 additions and 119 deletions

View File

@@ -161,6 +161,7 @@ if [[ -z "${remote_exec_server_pid}" || -z "${listen_url}" || -z "${remote_repo_
fi
remote_exec_server_port="${listen_url##*:}"
remote_exec_server_port="${remote_exec_server_port%%/*}"
if [[ -z "${remote_exec_server_port}" || "${remote_exec_server_port}" == "${listen_url}" ]]; then
echo "failed to parse remote exec server port from ${listen_url}" >&2
exit 1
@@ -170,7 +171,7 @@ echo "Remote exec server: ${listen_url}"
echo "Remote exec server log: ${remote_exec_server_log_path}"
echo "Press Ctrl-C to stop the SSH tunnel and remote exec server."
echo "Start codex via: "
printf ' CODEX_EXEC_SERVER_URL=ws://127.0.0.1:%s codex -C %q\n' \
printf ' CODEX_EXEC_SERVER_URL=ws://127.0.0.1:%s/ws codex -C %q\n' \
"${local_exec_server_port}" \
"${remote_repo_root}"

View File

@@ -85,7 +85,7 @@ setup_remote_env() {
return 1
fi
export CODEX_TEST_REMOTE_EXEC_SERVER_PID="${remote_exec_server_pid}"
export CODEX_TEST_REMOTE_EXEC_SERVER_URL="ws://${container_ip}:${remote_exec_server_port}"
export CODEX_TEST_REMOTE_EXEC_SERVER_URL="ws://${container_ip}:${remote_exec_server_port}/ws"
fi
export CODEX_TEST_REMOTE_ENV="${container_name}"