From 87a92f95c00492eedd53f4205c3e1f0c59de9b11 Mon Sep 17 00:00:00 2001
From: Yoshiya Hinosawa <stibium121@gmail.com>
Date: Wed, 18 May 2022 18:18:24 +0900
Subject: [PATCH] fix: avoid setting userAgent when it's already set

---
 server/mod.ts | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/server/mod.ts b/server/mod.ts
index d90b3b15d..0817c75bf 100644
--- a/server/mod.ts
+++ b/server/mod.ts
@@ -400,9 +400,10 @@ export const serve = (options: ServerOptions = {}) => {
     language: "en",
     languages: ["en"],
     onLine: true,
-    userAgent: `Deno/${Deno.version?.deno || "deploy"}`,
     vendor: "Deno Land Inc.",
   });
+  // deno-lint-ignore no-explicit-any
+  (globalThis.navigator as any).userAgent ??= `Deno/${Deno.version?.deno || "deploy"}`;
 
   // set log level if specified
   if (logLevel) {