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