[Metrics] Wrong MIME Type returned by prometheus endpoint

[gramian]

ArcadeDB Version:

ArcadeDB Server v25.1.1

The response MIME type from the Prometheus endpoint, ie: http://localhost:2480/prometheus is application/json but should be text/plain.

Reproduce

Start ArcadeDB Server:

bin/server.sh -Darcadedb.serverMetrics=true -Darcadedb.server.plugins="Prometheus:com.arcadedb.metrics.prometheus.PrometheusMetricsPlugin" -Darcadedb.server.rootPassword=password

Request Metrics:

curl -s -u root:password -o /dev/null -w '%{content_type}' 'http://localhost:2480/prometheus'

[robfrank]

Fixed!

[gramian]

LGTM! Thanks!