diff options
Diffstat (limited to 'src/loadlib.js')
| -rw-r--r-- | src/loadlib.js | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/loadlib.js b/src/loadlib.js index 7562cea..e448381 100644 --- a/src/loadlib.js +++ b/src/loadlib.js @@ -75,7 +75,7 @@ const noenv = function(L) { return b; }; -let readable = function(filename) { +let readable = function() { return false; }; // Only with Node @@ -98,9 +98,9 @@ if (!WEB) { } else { /* TODO: use async/await ? */ readable = function(filename) { - /* TODO: do a GET and store it somewhere to avoid doing two roundtrips ? */ let xhr = new XMLHttpRequest(); - xhr.open("HEAD", lua.to_jsstring(filename), false); + /* Following GET request done by searcher_Web will be cached */ + xhr.open("GET", lua.to_jsstring(filename), false); xhr.send(); /* TODO: subresource integrity check? */ |