From e9820f499b5aa509e30925c399bcd5df3590c8b1 Mon Sep 17 00:00:00 2001
From: Daniel LaCosse <daniellacosse@google.com>
Date: Thu, 28 Jul 2022 14:48:37 -0400
Subject: [PATCH] remove dev tools

---
 src/server_manager/electron_app/index.ts | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/server_manager/electron_app/index.ts b/src/server_manager/electron_app/index.ts
index 7db324ae..f6d3f43f 100644
--- a/src/server_manager/electron_app/index.ts
+++ b/src/server_manager/electron_app/index.ts
@@ -74,6 +74,7 @@ function createMainWindow() {
     maximizable: false,
     icon: path.join(__dirname, 'server_manager', 'web_app', 'images', 'launcher-icon.png'),
     webPreferences: {
+      devTools: debugMode,
       nodeIntegration: false,
       preload: path.join(__dirname, 'preload.js'),
       webviewTag: false,