diff options
| author | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2020-09-23 21:11:07 +0200 |
|---|---|---|
| committer | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2020-10-14 11:20:37 +0200 |
| commit | ec396c77079b9f2fb43748b12285a5fec6f905e2 (patch) | |
| tree | 8dd48e70b45669689e376e6550d38b886121857e /platform/javascript/engine | |
| parent | 6769dd64fc5430e8c34295cb41434bff734a5155 (diff) | |
[HTML5] Close IDBFS database on exit.
This should be made available in emscripten in a decent way.
Possibly after unmount, to free the database lock and allow performing
operations on it from javascript after the Emscripten Runtime has
exited.
Diffstat (limited to 'platform/javascript/engine')
| -rw-r--r-- | platform/javascript/engine/engine.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/platform/javascript/engine/engine.js b/platform/javascript/engine/engine.js index f8e216db2d..05a11701c0 100644 --- a/platform/javascript/engine/engine.js +++ b/platform/javascript/engine/engine.js @@ -121,6 +121,7 @@ Function('return this')()['Engine'] = (function() { me.rtenv['noExitRuntime'] = true; me.rtenv['onExecute'] = me.onExecute; me.rtenv['onExit'] = function(code) { + me.rtenv['deinitFS'](); if (me.onExit) me.onExit(code); me.rtenv = null; |