2018-07-24 11:27:06 -07:00
|
|
|
<html>
|
|
|
|
<head>
|
|
|
|
<meta content="text/html;charset=utf-8" http-equiv="Content-Type"/>
|
|
|
|
</head>
|
|
|
|
<body>
|
|
|
|
<pre id='output'>Loading scripts...</pre>
|
|
|
|
<script>
|
|
|
|
const orig_console_log = console.log;
|
|
|
|
const orig_console_error = console.error;
|
|
|
|
console.log = function() {
|
2018-08-01 15:52:24 -05:00
|
|
|
if (window.console_log_redirect)
|
|
|
|
window.console_log_redirect(orig_console_log, arguments);
|
2018-07-24 11:27:06 -07:00
|
|
|
else
|
|
|
|
orig_console_log.apply(this, arguments);
|
|
|
|
};
|
|
|
|
console.error = function() {
|
2018-08-01 15:52:24 -05:00
|
|
|
if (window.console_error_redirect)
|
|
|
|
window.console_error_redirect(orig_console_error, arguments);
|
2018-07-24 11:27:06 -07:00
|
|
|
else
|
|
|
|
orig_console_error.apply(this, arguments);
|
|
|
|
};
|
2018-08-01 15:52:24 -05:00
|
|
|
|
|
|
|
window.__wbg_test_invoke = f => f();
|
2018-07-24 11:27:06 -07:00
|
|
|
</script>
|
|
|
|
<script src='run.js' type=module></script>
|
|
|
|
</body>
|
|
|
|
</html>
|