| Index: experimental/webtry/js/run.js
|
| diff --git a/experimental/webtry/js/run.js b/experimental/webtry/js/run.js
|
| index d44e81817ba4583a95993fd3da93aa85df705211..9f1e8031f0682560286b5e661d3df8a484ce6679 100644
|
| --- a/experimental/webtry/js/run.js
|
| +++ b/experimental/webtry/js/run.js
|
| @@ -72,9 +72,9 @@
|
| }
|
|
|
| function clearOutput() {
|
| - output.innerText = "";
|
| + output.textContent = "";
|
| if (stdout) {
|
| - stdout.innerText = "";
|
| + stdout.textContent = "";
|
| }
|
| embed.style.display='none';
|
| }
|
| @@ -141,9 +141,9 @@
|
| endWait();
|
| console.log(e.target.response);
|
| body = JSON.parse(e.target.response);
|
| - output.innerText = body.message;
|
| + output.textContent = body.message;
|
| if (stdout) {
|
| - stdout.innerText = body.stdout;
|
| + stdout.textContent = body.stdout;
|
| }
|
| if (body.hasOwnProperty('img')) {
|
| img.src = 'data:image/png;base64,' + body.img;
|
|
|