added tgi to name of metric

This commit is contained in:
Edwinhr716 2024-07-22 20:38:07 +00:00
parent 85baa5da89
commit 10448ea8c9

View File

@ -1727,7 +1727,7 @@ 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());