← Back to branch summary

~azzar1/unity/add-show-desktop-key

« back to all changes in this revision

Viewing changes to www/media/console/console.js

  • Committer: mattgiuca
  • Date: 2008-02-05 22:56:59 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:425
tutorial: Refactored present_worksheet so it has a separate function for
presenting an XML element (so it can be recursive). (But does not solve the
recursion problem yet).

Show diffs side-by-side

added added

removed removed

Lines of Context:
www/media/console/console.js
20
20
 * Date: 30/1/2008
21
21
 */
22
22
 
23
 
var server_key;
 
23
digest_constant = "hello";
 
24
 
 
25
var server_host;
 
26
var server_port;
 
27
var server_magic;
24
28
 
25
29
/* Begin religious debate (tabs vs spaces) here: */
26
30
/* (This string will be inserted in the console when the user presses the Tab
39
43
 * This is a separate step from console_init, as the server is only to be
40
44
 * started once the first command is entered.
41
45
 * Does not return a value. Writes to global variables
42
 
 * server_host, and server_port.
 
46
 * server_host, server_port, server_magic.
43
47
 */
44
48
function start_server()
45
49
{
46
50
    if (server_started) return;
47
51
    var xhr = ajax_call("consoleservice", "start", {}, "POST");
48
52
    var json_text = xhr.responseText;
49
 
    server_key = JSON.parse(json_text);
 
53
    var server_info = JSON.parse(json_text);
 
54
    server_host = server_info.host;
 
55
    server_port = server_info.port;
 
56
    server_magic = server_info.magic;
50
57
    server_started = true;
51
58
}
52
59
 
205
212
{
206
213
    /* Start the server if it hasn't already been started */
207
214
    start_server();
208
 
    var args = {"key": server_key, "text":inputline};
 
215
    var digest = hex_md5(inputline + server_magic);
 
216
    var args = {"host": server_host, "port": server_port,
 
217
                    "digest":digest, "text":inputline};
209
218
    var xmlhttp = ajax_call("consoleservice", which, args, "POST");
210
219
 
211
220
    var res = JSON.parse(xmlhttp.responseText);