208
208
* to its response by writing to the output box.
209
209
* Also maximize the console window if not already.
213
213
/* Start the server if it hasn't already been started */
215
215
var digest = hex_md5(inputline + server_magic);
216
216
var args = {"host": server_host, "port": server_port,
217
217
"digest":digest, "text":inputline};
218
var xmlhttp = ajax_call("consoleservice", "chat", args, "POST");
218
var xmlhttp = ajax_call("consoleservice", which, args, "POST");
220
220
var res = JSON.parse(xmlhttp.responseText);
221
221
var output = document.getElementById("console_output");