From f579b1d1f824533336cc3d6e182aec58592b64ff Mon Sep 17 00:00:00 2001 From: Fabio Alessandrelli Date: Mon, 26 Oct 2020 18:29:20 +0100 Subject: [HTML5] Editor also persists cache. --- misc/dist/html/editor.html | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'misc/dist') diff --git a/misc/dist/html/editor.html b/misc/dist/html/editor.html index d4234d08ac..4508496b33 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) { @@ -259,7 +260,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'); -- cgit v1.2.3