diff options
| author | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2020-01-14 15:06:53 +0100 |
|---|---|---|
| committer | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2020-01-14 17:07:06 +0100 |
| commit | 14a58560e185823af6a9a99700907b4de7b5fba8 (patch) | |
| tree | e01cda3e9d555952f2712d3d35bb1b9327436002 /platform/javascript | |
| parent | 1798496ea77aedbed4193c9ed516f8437cd05c0f (diff) | |
Properly close files served by debug HTTP server.
Diffstat (limited to 'platform/javascript')
| -rw-r--r-- | platform/javascript/export/export.cpp | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/platform/javascript/export/export.cpp b/platform/javascript/export/export.cpp index 53983f7556..9b93d4f140 100644 --- a/platform/javascript/export/export.cpp +++ b/platform/javascript/export/export.cpp @@ -119,7 +119,10 @@ public: s += "\r\n"; CharString cs = s.utf8(); Error err = connection->put_data((const uint8_t *)cs.get_data(), cs.size() - 1); - ERR_FAIL_COND(err != OK); + if (err != OK) { + memdelete(f); + ERR_FAIL(); + } while (true) { uint8_t bytes[4096]; @@ -128,8 +131,12 @@ public: break; } err = connection->put_data(bytes, read); - ERR_FAIL_COND(err != OK); + if (err != OK) { + memdelete(f); + ERR_FAIL(); + } } + memdelete(f); } void poll() { |