From 10448ea8c9076515c516579d253ab22079d0c1b4 Mon Sep 17 00:00:00 2001 From: Edwinhr716 Date: Mon, 22 Jul 2024 20:38:07 +0000 Subject: [PATCH] added tgi to name of metric --- router/src/server.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/router/src/server.rs b/router/src/server.rs index e652db60..ef53f731 100644 --- a/router/src/server.rs +++ b/router/src/server.rs @@ -1727,8 +1727,8 @@ pub async fn run( .install_recorder() .expect("failed to install metrics recorder"); - metrics::counter!("max_token_capacity").increment(u64::from(max_batch_total_tokens)); - + metrics::counter!("tgi_max_token_capacity").increment(u64::from(max_batch_total_tokens)); + // CORS layer let allow_origin = allow_origin.unwrap_or(AllowOrigin::any()); let cors_layer = CorsLayer::new()