[HTML5] Editor also persists cache.

This commit is contained in:
Fabio Alessandrelli 2020-10-26 18:29:20 +01:00
parent e1ccd37e34
commit f579b1d1f8

View file

@ -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');