diff options
| author | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2020-10-26 18:29:20 +0100 |
|---|---|---|
| committer | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2020-12-09 14:27:41 +0100 |
| commit | f579b1d1f824533336cc3d6e182aec58592b64ff (patch) | |
| tree | 5f58da17b39f988eeea63c0ddad55b3e826828e8 /misc/dist | |
| parent | e1ccd37e34678a9721d8e7b67e153c976b9b8ebf (diff) | |
[HTML5] Editor also persists cache.
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'); |