292
251
function console_response(inputbox, graytimer, inputline, responseText)
303
254
var output = document.getElementById("console_output");
304
255
if (res.hasOwnProperty('okay'))
307
264
var prompt = document.getElementById("console_prompt");
308
265
prompt.replaceChild(document.createTextNode(">>> "), prompt.firstChild);