From b4b1df613e23778facbdb71205f854764b6ea0dd Mon Sep 17 00:00:00 2001
From: Fabio Alessandrelli <fabio.alessandrelli@gmail.com>
Date: Mon, 26 Oct 2020 18:29:20 +0100
Subject: [PATCH] [HTML5] Editor also persists cache.

---
 misc/dist/html/editor.html | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/misc/dist/html/editor.html b/misc/dist/html/editor.html
index 705383f0b3f..56f57b4c2ce 100644
--- a/misc/dist/html/editor.html
+++ b/misc/dist/html/editor.html
@@ -197,7 +197,8 @@
 			}
 			Promise.all([
 				deleteDB("/home/web_user/projects"),
-				deleteDB("/home/web_user/.config")
+				deleteDB("/home/web_user/.config"),
+				deleteDB("/home/web_user/.cache"),
 			]).then(function(results) {
 				alert("Done.");
 			}).catch(function (err) {
@@ -260,7 +261,7 @@
 		function startEditor(zip) {
 
 			const INDETERMINATE_STATUS_STEP_MS = 100;
-			const persistentPaths = ['/home/web_user/.config', '/home/web_user/projects'];
+			const persistentPaths = ['/home/web_user/.config', '/home/web_user/.cache', '/home/web_user/projects'];
 
 			var editorCanvas = document.getElementById('editor-canvas');
 			var gameCanvas = document.getElementById('game-canvas');