From d9b25cdb180d74dd4de407841b7df9b02f20b5c0 Mon Sep 17 00:00:00 2001
From: Eric Mc Sween <eric.mcsween@overleaf.com>
Date: Thu, 3 Sep 2020 15:50:45 -0400
Subject: [PATCH] Fix container monitor cleanup function

The intent here is clearly to clear both the timeout and the interval.
---
 app/js/DockerRunner.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/app/js/DockerRunner.js b/app/js/DockerRunner.js
index f4e2659..33000d7 100644
--- a/app/js/DockerRunner.js
+++ b/app/js/DockerRunner.js
@@ -611,8 +611,8 @@ const DockerRunner = {
       containerMonitorTimeout = undefined
     }
     if (containerMonitorInterval) {
-      clearInterval(containerMonitorTimeout)
-      containerMonitorTimeout = undefined
+      clearInterval(containerMonitorInterval)
+      containerMonitorInterval = undefined
     }
   }
 }