From 706a9471130e960973b3fbe2f3ab6ec73cce676b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Simon=20St=C3=BCrz?= <simon.stuerz@guh.io>
Date: Mon, 19 Nov 2018 15:59:57 +0100
Subject: [PATCH] Fix timer if something goes wrong with report generation

---
 data/debug-interface/script.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/data/debug-interface/script.js b/data/debug-interface/script.js
index 4b66bb48..aafd9528 100644
--- a/data/debug-interface/script.js
+++ b/data/debug-interface/script.js
@@ -151,6 +151,7 @@ function generateReport() {
 
             if (reportGenerateRequest.status != 200) {
                 console.log("Report generation finished with error.");
+                clearTimeout(generateReportTimer);        
                 textArea.value = "Something went wrong :(";
                 button.disabled = false;
                 return;