Skip to content

fix(demo): disable the metrics listener in verify-demo.sh#129

Merged
jrosskopf merged 1 commit into
mainfrom
fix/verify-demo-metrics-port
May 31, 2026
Merged

fix(demo): disable the metrics listener in verify-demo.sh#129
jrosskopf merged 1 commit into
mainfrom
fix/verify-demo-metrics-port

Conversation

@jrosskopf
Copy link
Copy Markdown
Contributor

Summary

Follow-up to #120. That PR moved /metrics onto a dedicated listener
(default :9090) and pinned the port in binary_boots.rs, but missed
scripts/verify-demo.sh — which never set
ESCUREL_OBSERVABILITY_METRICS_LISTEN, so the demo server now binds the
default :9090 and collides with a co-running gateway or a parallel
demo run.

The demo doesn't scrape metrics, so this sets the var empty to disable
the dedicated listener entirely.

Test plan

Booted a server with ESCUREL_OBSERVABILITY_METRICS_LISTEN="":
healthy on its HTTP port, no :9090 bind, /metrics 404 on the
main port (unchanged). Surfaced while running verify-demo.sh
end-to-end during the spec-conformance pass.

🤖 Generated with Claude Code

After #120 split metrics onto a dedicated listener (default :9090),
verify-demo.sh — which never set ESCUREL_OBSERVABILITY_METRICS_LISTEN —
started binding :9090, clashing with a co-running gateway or a parallel
demo run. The demo doesn't scrape metrics, so set the var empty to
disable the listener entirely (verified: empty → no :9090 bind, server
still healthy).

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
@jrosskopf jrosskopf merged commit c087d49 into main May 31, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant