218
218
function console_enter_line(inputbox, which)
220
GLOBAL_inputbox = inputbox; /* For timer */
221
var inputline = inputbox.value;
220
if (typeof(inputbox) == "string")
222
var inputline = inputbox;
224
var graytimer = null;
228
GLOBAL_inputbox = inputbox; /* For timer */
229
var inputline = inputbox.value;
230
var graytimer = setTimeout("GLOBAL_inputbox.setAttribute(\"class\", "
231
+ "\"disabled\");", 100);
222
233
var args = {"key": server_key, "text":inputline};
223
var graytimer = setTimeout("GLOBAL_inputbox.setAttribute(\"class\", "
224
+ "\"disabled\");", 100);
225
234
var callback = function(xhr)
227
236
console_response(inputline, xhr.responseText);
228
/* Re-enable the text box */
229
clearTimeout(graytimer);
230
inputbox.removeAttribute("disabled");
231
inputbox.removeAttribute("class");
237
if (inputbox != null)
239
/* Re-enable the text box */
240
clearTimeout(graytimer);
241
inputbox.removeAttribute("disabled");
242
inputbox.removeAttribute("class");
233
245
/* Disable the text box */
234
inputbox.setAttribute("disabled", "disabled");
246
if (inputbox != null)
247
inputbox.setAttribute("disabled", "disabled");
235
248
ajax_call(callback, "consoleservice", which, args, "POST");