tidy up the autosave timer when exiting the page

This commit is contained in:
Ralf Teusner
2017-07-03 14:54:51 +02:00
parent ec1be437de
commit 56aa9f4495

View File

@ -196,6 +196,7 @@ CodeOceanEditorSubmissions = {
unloadAutoSave: function() { unloadAutoSave: function() {
if(this.autosaveTimer != null){ if(this.autosaveTimer != null){
this.autosave(); this.autosave();
clearTimeout(this.autosaveTimer);
} }
}, },