2018-07-25 03:34:35 -07:00
|
|
|
<html>
|
|
|
|
<head>
|
|
|
|
<meta content="text/html;charset=utf-8" http-equiv="Content-Type"/>
|
|
|
|
</head>
|
|
|
|
<body>
|
|
|
|
<pre id='output'>Loading scripts...</pre>
|
|
|
|
<pre id='console_log'></pre>
|
|
|
|
<pre id='console_error'></pre>
|
|
|
|
<script>
|
|
|
|
const orig_console_log = function(...args) {
|
|
|
|
const logs = document.getElementById('console_log');
|
|
|
|
for (let msg of args) {
|
|
|
|
logs.innerHTML += `${msg}\n`;
|
|
|
|
}
|
|
|
|
};
|
|
|
|
const orig_console_error = function(...args) {
|
|
|
|
const logs = document.getElementById('console_error');
|
|
|
|
for (let msg of args) {
|
|
|
|
logs.innerHTML += `${msg}\n`;
|
|
|
|
}
|
|
|
|
};
|
2018-11-08 11:46:52 -08:00
|
|
|
console.log = function(...args) {
|
2018-08-01 15:52:24 -05:00
|
|
|
if (window.console_log_redirect)
|
2018-11-08 11:46:52 -08:00
|
|
|
window.console_log_redirect(orig_console_log, args);
|
2018-07-25 03:34:35 -07:00
|
|
|
else
|
2018-11-08 11:46:52 -08:00
|
|
|
orig_console_log.apply(this, args);
|
2018-07-25 03:34:35 -07:00
|
|
|
};
|
2018-11-08 11:46:52 -08:00
|
|
|
console.error = function(...args) {
|
2018-08-01 15:52:24 -05:00
|
|
|
if (window.console_error_redirect)
|
2018-11-08 11:46:52 -08:00
|
|
|
window.console_error_redirect(orig_console_error, args);
|
2018-07-25 03:34:35 -07:00
|
|
|
else
|
2018-11-08 11:46:52 -08:00
|
|
|
orig_console_error.apply(this, args);
|
2018-07-25 03:34:35 -07:00
|
|
|
};
|
2018-08-01 15:52:24 -05:00
|
|
|
window.__wbg_test_invoke = f => f();
|
2018-07-25 03:34:35 -07:00
|
|
|
</script>
|
|
|
|
<script src='run.js' type=module></script>
|
|
|
|
</body>
|
|
|
|
</html>
|