Remove .replace('stdin:', '')

This commit is contained in:
Someone-dQw4w9WgXcQ 2023-07-27 13:28:03 +01:00
parent 1d9bac79fe
commit 29ad780853

View file

@ -63,7 +63,7 @@
function output(text) { function output(text) {
var output_box = document.getElementById("output"); var output_box = document.getElementById("output");
output_box.value += text.replace('stdin:', '') + "\n"; output_box.value += text + "\n";
// scroll to bottom // scroll to bottom
output_box.scrollTop = output_box.scrollHeight; output_box.scrollTop = output_box.scrollHeight;
} }