From 57028c7ba883860e77b1dda02a46e9cff8fd10fb Mon Sep 17 00:00:00 2001 From: windingwind <33902321+windingwind@users.noreply.github.com> Date: Wed, 13 Dec 2023 21:23:19 +0800 Subject: [PATCH] chore: change default dev tool start delay --- scripts/server.mjs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/server.mjs b/scripts/server.mjs index 8a94805..542ca44 100644 --- a/scripts/server.mjs +++ b/scripts/server.mjs @@ -71,7 +71,7 @@ async function main() { startZotero(); setTimeout(() => { openDevTool(); - }, 2000); + }, 5000); // watch await watch();