From 456483f10442ccdf896d798e57acf3906e8aaed5 Mon Sep 17 00:00:00 2001
From: Ray <raysan5@gmail.com>
Date: Mon, 26 Nov 2018 17:16:26 +0100
Subject: [PATCH] Allow file download from MEMFS

Support file download to disk from memory filesystem.
---
 templates/web_shell/shell.html | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/templates/web_shell/shell.html b/templates/web_shell/shell.html
index 4dfefb8d9..b5d1feed3 100644
--- a/templates/web_shell/shell.html
+++ b/templates/web_shell/shell.html
@@ -159,6 +159,24 @@
     
     <textarea id="output" rows="8"></textarea>
 
+    <script type='text/javascript' src="https://cdn.jsdelivr.net/gh/eligrey/FileSaver.js/dist/FileSaver.min.js"> </script>
+    <script type='text/javascript'>
+      function SaveFileFromMEMFSToDisk(memoryFSname, localFSname)     // This can be called by C/C++ code
+      {
+        var isSafari = /^((?!chrome|android).)*safari/i.test(navigator.userAgent);
+        var data = FS.readFile(memoryFSname);
+        var blob;
+
+        if (isSafari) blob = new Blob([data.buffer], {type: "application/octet-stream"});
+        else blob = new Blob([data.buffer], {type: "application/octet-binary"});
+
+        // NOTE: SaveAs Dialog is a browser setting. For example, in Google Chrome,
+        // in Settings/Advanced/Downloads section you have a setting:
+        // 'Ask where to save each file before downloading' - which you can set true/false.
+        // If you enable this setting it would always ask you and bring the SaveAs Dialog
+        saveAs(blob, localFSname);
+      }
+    </script>
     <script type='text/javascript'>
       var statusElement = document.getElementById('status');
       var progressElement = document.getElementById('progress');