From b24a283f0a11bc507b950e5fe5aa22cbffee3b6e Mon Sep 17 00:00:00 2001
From: Davide <43080019+edivados@users.noreply.github.com>
Date: Sat, 23 Dec 2023 01:03:11 +0100
Subject: [PATCH] close vite dev server

---
 packages/vinxi/lib/dev-server.js | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/packages/vinxi/lib/dev-server.js b/packages/vinxi/lib/dev-server.js
index 9c44cf18..b32d80c5 100644
--- a/packages/vinxi/lib/dev-server.js
+++ b/packages/vinxi/lib/dev-server.js
@@ -200,6 +200,13 @@ export async function createDevServer(
 	return {
 		...devApp,
 		listen: () => devApp.listen(port, {}),
-		close: () => devApp.close(),
+		close: async () => {
+			await devApp.close();
+			await Promise.all(
+				app.config.routers
+					.filter(router => router.internals.devServer)
+					.map(router => router.internals.devServer?.close())
+			);
+		},
 	};
 }