2020-03-16 release

This commit is contained in:
bellard
2020-09-06 19:02:03 +02:00
parent 0e8fffd4de
commit 383e2b06c8
26 changed files with 2352 additions and 2020 deletions

View File

@@ -917,11 +917,9 @@ function load_result(filename)
var f, str, res;
if (typeof std === "undefined")
return null;
try {
f = std.open(filename, "r");
} catch(e) {
f = std.open(filename, "r");
if (!f)
return null;
}
str = f.readAsString();
res = JSON.parse(str);
f.close();