286
288
/* Disable the text box */
288
290
inputbox.setAttribute("disabled", "disabled");
289
ajax_call(callback, "consoleservice", which, args, "POST");
291
ajax_call(callback, "console", "service", args, "POST");
292
294
function console_response(inputbox, graytimer, inputline, responseText)