From 56aa9f44951a8cd27660e1e16e1a6355e50bcba3 Mon Sep 17 00:00:00 2001
From: Ralf Teusner <ralf.teusner@hpi.de>
Date: Mon, 3 Jul 2017 14:54:51 +0200
Subject: [PATCH] tidy up the autosave timer when exiting the page

---
 app/assets/javascripts/editor/submissions.js.erb | 1 +
 1 file changed, 1 insertion(+)

diff --git a/app/assets/javascripts/editor/submissions.js.erb b/app/assets/javascripts/editor/submissions.js.erb
index 48cead80..467c2cd7 100644
--- a/app/assets/javascripts/editor/submissions.js.erb
+++ b/app/assets/javascripts/editor/submissions.js.erb
@@ -196,6 +196,7 @@ CodeOceanEditorSubmissions = {
   unloadAutoSave: function() {
     if(this.autosaveTimer != null){
       this.autosave();
+      clearTimeout(this.autosaveTimer);
     }
   },