From 3335e87ef47598d2a52aa3eac7adb516c95a0938 Mon Sep 17 00:00:00 2001
From: Jeremy Ruston <jeremy@jermolene.com>
Date: Sun, 10 Mar 2024 17:49:52 +0000
Subject: [PATCH] Remove unneeded option

---
 core/modules/commands/listen.js | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/core/modules/commands/listen.js b/core/modules/commands/listen.js
index 156f5b31b..ca6e6e076 100644
--- a/core/modules/commands/listen.js
+++ b/core/modules/commands/listen.js
@@ -36,8 +36,7 @@ Command.prototype.execute = function() {
 	// Set up server
 	this.server = new Server({
 		wiki: this.commander.wiki,
-		variables: self.params,
-		verbose: this.commander.verbose
+		variables: self.params
 	});
 	var nodeServer = this.server.listen();
 	$tw.hooks.invokeHook("th-server-command-post-start",this.server,nodeServer,"tiddlywiki");