From fda42b24a77236343674351b4d6eb5151eb5f4c7 Mon Sep 17 00:00:00 2001
From: Juri Leino <github@line-o.de>
Date: Sun, 1 Oct 2023 12:01:56 +0200
Subject: [PATCH] build: minor improvement in gulpfile

---
 gulpfile.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gulpfile.js b/gulpfile.js
index 78e55c9..8e40b0a 100644
--- a/gulpfile.js
+++ b/gulpfile.js
@@ -19,7 +19,7 @@ const packageUri = existJSON.package.namespace
 const serverInfo = existJSON.servers.localhost
 const target = serverInfo.root
 
-const url = new URL(existJSON.servers.localhost.server)
+const url = new URL(serverInfo.server)
 // console.log(url)
 
 // FIXME read from .existdb.json