From cd2a996d9e52d8fc3f797da684f8b02aa5e5e5a8 Mon Sep 17 00:00:00 2001
From: Fabio Alessandrelli <fabio.alessandrelli@gmail.com>
Date: Mon, 8 Feb 2021 18:09:15 +0100
Subject: [PATCH] [HTML5] Fix web editor "clear persistent data".

Was broken after update to new persistent path "/home/web_user".

(cherry picked from commit 7866cd5881a0e30dcc2ef64477e79bf8bcb69200)
---
 misc/dist/html/editor.html | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/misc/dist/html/editor.html b/misc/dist/html/editor.html
index f51aba2cad3..589b16bc7e2 100644
--- a/misc/dist/html/editor.html
+++ b/misc/dist/html/editor.html
@@ -262,9 +262,7 @@
 				return;
 			}
 			Promise.all([
-				deleteDB("/home/web_user/projects"),
-				deleteDB("/home/web_user/.config"),
-				deleteDB("/home/web_user/.cache"),
+				deleteDB("/home/web_user"),
 			]).then(function(results) {
 				alert("Done.");
 			}).catch(function (err) {
@@ -327,7 +325,7 @@
 		function startEditor(zip) {
 
 			const INDETERMINATE_STATUS_STEP_MS = 100;
-			const persistentPaths = ['/home/web_user/'];
+			const persistentPaths = ['/home/web_user'];
 
 			var editorCanvas = document.getElementById('editor-canvas');
 			var gameCanvas = document.getElementById('game-canvas');