[feat] Use push gateway to push metrics

someengineering · Nov 17, 2023 · 4dc109c · 4dc109c
1 parent 80deeb6
commit 4dc109c
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/collect_coordinator/worker_queue.py b/collect_coordinator/worker_queue.py
@@ -158,6 +158,8 @@ def parse_collect_definition_json(self, js: Json) -> JobDefinition:
             self.redis_event_url,
             "--ca-cert",
             "/etc/ssl/certs/ca.crt",
+            "--push-gateway-url",
+            "http://pushgateway-prometheus-pushgateway.monitoring.svc.cluster.local:9091",
         ]
         core_args = [
             "--graphdb-bootstrap-do-not-secure",  # root password comes via the environment

diff --git a/tests/worker_queue_test.py b/tests/worker_queue_test.py
@@ -71,6 +71,8 @@ def test_read_job_definition(worker_queue: WorkerQueue, example_definition: Json
         "redis://localhost:6379/0",
         "--ca-cert",
         "/etc/ssl/certs/ca.crt",
+        "--push-gateway-url",
+        "http://pushgateway-prometheus-pushgateway.monitoring.svc.cluster.local:9091",
         "--write",
         ".aws/credentials=AWS_CREDENTIALS",
         "--account-id",