From 94a04ab1c9fd099c808f3f4e6633722e0d13ac85 Mon Sep 17 00:00:00 2001
From: Ben Schlegel <ben5.schlegel@gmail.com>
Date: Sun, 17 Sep 2023 13:51:08 +0000
Subject: [PATCH] fix(explorer): filter function in `ExplorerNode`
---
quartz/cli/args.js | 10 ++++++++++
1 files changed, 10 insertions(+), 0 deletions(-)
diff --git a/quartz/cli/args.js b/quartz/cli/args.js
index 4f330cd..3543e2e 100644
--- a/quartz/cli/args.js
+++ b/quartz/cli/args.js
@@ -76,6 +76,16 @@
default: 8080,
describe: "port to serve Quartz on",
},
+ wsPort: {
+ number: true,
+ default: 3001,
+ describe: "port to use for WebSocket-based hot-reload notifications",
+ },
+ remoteDevHost: {
+ string: true,
+ default: "",
+ describe: "A URL override for the websocket connection if you are not developing on localhost",
+ },
bundleInfo: {
boolean: true,
default: false,
--
Gitblit v1.10.0