From 4cbbd51f2e74bb98c8f7671036493d28b44e7d75 Mon Sep 17 00:00:00 2001 From: Alexander Bock Date: Mon, 23 Jan 2023 22:10:00 +0100 Subject: [PATCH] Remove extra printing --- data/assets/util/webgui.asset | 1 - 1 file changed, 1 deletion(-) diff --git a/data/assets/util/webgui.asset b/data/assets/util/webgui.asset index d573fdf79f..ee5c48ba7f 100644 --- a/data/assets/util/webgui.asset +++ b/data/assets/util/webgui.asset @@ -73,7 +73,6 @@ end) function setCefRoute(route) local port = openspace.getPropertyValue("Modules.WebGui.Port") - openspace.printFatal(port) -- As a developer, you can manually serve the webgui from port 4690 -- with the command `npm start` in the web gui repository if guiCustomization.webguiDevelopmentMode then