search

edgedb / edgedb-docker

Official Docker Image packaging for EdgeDB
81 stars 16 forks source link

Metrics feature #82

Closed Maescool closed 11 months ago

Maescool commented 11 months ago

Hi How can we enable the metrics feature? there is the --metrics-port thing https://github.com/edgedb/edgedb/blob/master/edb/server/args.py#L967 but the docker image doesn't seem to accept it I tried command with this arg, and i tried env vars

elprans commented 11 months ago

You can do it like so: EDGEDB_SERVER_EXTRA_ARGS="--metrics-port=1235"

elprans commented 11 months ago

@raddevon, please check if EDGEDB_SERVER_EXTRA_ARGS is properly documented.