Spaces:
Build error
Build error
rjorgec
commited on
metrics fix
Browse filesmetrics fix (again)
- metrics.py +0 -5
metrics.py
CHANGED
|
@@ -57,11 +57,6 @@ ACTIVE_REQUESTS = Gauge(
|
|
| 57 |
|
| 58 |
|
| 59 |
def init_metrics(port: int = 8000, service_name: str | None = None) -> None:
|
| 60 |
-
"""
|
| 61 |
-
Start the Prometheus metrics HTTP server on `port`.
|
| 62 |
-
|
| 63 |
-
Call this once at app startup (before serving requests).
|
| 64 |
-
"""
|
| 65 |
global SERVICE_NAME
|
| 66 |
|
| 67 |
if service_name is not None:
|
|
|
|
| 57 |
|
| 58 |
|
| 59 |
def init_metrics(port: int = 8000, service_name: str | None = None) -> None:
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 60 |
global SERVICE_NAME
|
| 61 |
|
| 62 |
if service_name is not None:
|