diff options
Diffstat (limited to 'misc/dist')
| -rw-r--r-- | misc/dist/html/editor.html | 5 |
1 files changed, 3 insertions, 2 deletions
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'); |