From ab1f7e03263e8af5fc861389aa550d4eeaab3941 Mon Sep 17 00:00:00 2001 From: Xuan Son Nguyen Date: Wed, 11 Dec 2024 20:32:24 +0100 Subject: [PATCH] only extract timings when it's enabled --- examples/server/webui/index.html | 2 +- examples/server/webui/src/main.js | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/examples/server/webui/index.html b/examples/server/webui/index.html index 84f86ef91..454b06787 100644 --- a/examples/server/webui/index.html +++ b/examples/server/webui/index.html @@ -252,7 +252,7 @@