Merge pull request #47 from hppeng-wynn/stack-print

Stack print
This commit is contained in:
hppeng-wynn 2022-06-26 05:31:56 -07:00 committed by GitHub
commit 3f5ed9b38b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 7 additions and 0 deletions

View file

@ -406,6 +406,8 @@
</div>
<div class="col text-center">
<div id="summary-box"></div>
<div id="err-box"></div>
<div id="stack-box"></div>
<div id="str-warnings"></div>
<div id="dex-warnings"></div>
<div id="int-warnings"></div>

View file

@ -443,6 +443,11 @@ function init() {
builder_graph_init();
}
window.onerror = function(message, source, lineno, colno, error) {
document.getElementById('err-box').textContent = message;
document.getElementById('stack-box').textContent = error.stack;
};
(async function() {
let load_promises = [ load_init(), load_ing_init(), load_tome_init() ];
await Promise.all(load_promises);