From 304d7f239ae6e7b854a8da1124a919b7ba093b48 Mon Sep 17 00:00:00 2001
From: Sam Wilkins <samwilkins333@gmail.com>
Date: Sat, 7 Dec 2019 18:35:32 -0500
Subject: initial commit

---
 src/client/util/ClientDiagnostics.ts | 34 ----------------------------------
 src/client/util/TooltipTextMenu.tsx  |  2 +-
 2 files changed, 1 insertion(+), 35 deletions(-)
 delete mode 100644 src/client/util/ClientDiagnostics.ts

(limited to 'src/client/util')

diff --git a/src/client/util/ClientDiagnostics.ts b/src/client/util/ClientDiagnostics.ts
deleted file mode 100644
index 0a213aa1c..000000000
--- a/src/client/util/ClientDiagnostics.ts
+++ /dev/null
@@ -1,34 +0,0 @@
-export namespace ClientDiagnostics {
-
-    export async function start() {
-
-        let serverPolls = 0;
-        const serverHandle = setInterval(async () => {
-            if (++serverPolls === 20) {
-                alert("Your connection to the server has been terminated.");
-                clearInterval(serverHandle);
-            }
-            await fetch("/serverHeartbeat");
-            serverPolls--;
-        }, 1000 * 15);
-
-        let executed = false;
-        let solrHandle: NodeJS.Timeout | undefined;
-        const handler = async () => {
-            const response = await fetch("/solrHeartbeat");
-            if (!(await response.json()).running) {
-                if (!executed) {
-                    alert("Looks like SOLR is not running on your machine.");
-                    executed = true;
-                    solrHandle && clearInterval(solrHandle);
-                }
-            }
-        };
-        await handler();
-        if (!executed) {
-            solrHandle = setInterval(handler, 1000 * 15);
-        }
-
-    }
-
-}
\ No newline at end of file
diff --git a/src/client/util/TooltipTextMenu.tsx b/src/client/util/TooltipTextMenu.tsx
index 89037dcb2..01d566831 100644
--- a/src/client/util/TooltipTextMenu.tsx
+++ b/src/client/util/TooltipTextMenu.tsx
@@ -1030,7 +1030,7 @@ export class TooltipTextMenu {
                         TooltipTextMenuManager.Instance._brushMarks && TooltipTextMenuManager.Instance._brushMap.set(input.value, TooltipTextMenuManager.Instance._brushMarks);
                         input.style.background = "lightGray";
                     }
-                }
+                };
 
                 const wrapper = document.createElement("div");
                 wrapper.appendChild(input);
-- 
cgit v1.2.3-70-g09d2