diff options
| author | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2021-02-08 18:09:15 +0100 |
|---|---|---|
| committer | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2021-02-11 08:25:19 +0100 |
| commit | 7866cd5881a0e30dcc2ef64477e79bf8bcb69200 (patch) | |
| tree | 9d8c62a712d62dbb8c7745274e4967c003f3803b /misc/dist | |
| parent | ad293a82f1fc2e4baa35f54b9b8038df72d23737 (diff) | |
[HTML5] Fix web editor "clear persistent data".
Was broken after update to new persistent path "/home/web_user".
Diffstat (limited to 'misc/dist')
| -rw-r--r-- | misc/dist/html/editor.html | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/misc/dist/html/editor.html b/misc/dist/html/editor.html index 540ab94e51..70a35b48cf 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) { @@ -326,7 +324,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'); |