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

digest_constant = "hello";

var server_host;

var server_port;

var server_magic;

/* Starts the console server.

 * Returns an object with fields "host", "port", "magic" describing the

 * server.

 */

function start_server()

{

    var xhr = ajax_call("consoleservice", "start", {}, "POST");

    var json_text = xhr.responseText;

    return JSON.parse(json_text);

}

function onload()

{

    /* Start the server */

    var server_info = start_server();

    server_host = server_info.host;

    server_port = server_info.port;

    server_magic = server_info.magic;

}

/* Below here imported from trunk/console/console.js

 * (Tom Conway)

 */

var magic = 'xyzzy';

function historyUp()

{

    if (this.cursor >= 0)

    {

        this.cursor--;

    }

}

function historyDown()

{

    if (this.cursor < this.items.length)

    {

        this.cursor++;

    }

}

function historyCurr()

{

    if (this.cursor < 0 || this.cursor >= this.items.length)

    {

        return "";

    }

    return this.items[this.cursor];

}

function historyAdd(text)

{

    this.items[this.items.length] = text;

    this.cursor = this.items.length;

}

function historyShow()

{

    var res = "";

    if (this.cursor == -1)

    {

        res += "[]";

    }

    for (var i = 0; i < this.items.length; i++)

    {

        if (i == this.cursor)

        {

            res += "["

        }

        res += this.items[i].toString();

        if (i == this.cursor)

        {

            res += "]"

        }

        res += " "

    }

    if (this.cursor == this.items.length)

    {

        res += "[]";

    }

    return res;

}

function History()

{

    this.items = new Array();

    this.cursor = -1;

    this.up = historyUp;

    this.down = historyDown;

    this.curr = historyCurr;

    this.add = historyAdd;

    this.show = historyShow;

}

var hist = new History();

function enter_line()

{

    var inp = document.getElementById('inputText');

    var digest = hex_md5(inp.value + magic);

    var args = {"host": server_host, "port": server_port,

                    "digest":digest, "text":inp.value};

    var xmlhttp = ajax_call("consoleservice", "chat", args, "POST");

    var res = JSON.parse(xmlhttp.responseText);

    var output = document.getElementById("output");

    {

        var pre = document.createElement("pre");

        pre.setAttribute("class", "inputMsg");

        pre.appendChild(document.createTextNode(inp.value + "\n"));

        output.appendChild(pre);

    }

    if (res.hasOwnProperty('okay'))

    {

        // Success!

        // print out the output (res.okay[0])

        var pre = document.createElement("pre");

        pre.setAttribute("class", "outputMsg");

        pre.appendChild(document.createTextNode(res.okay[0]));

        output.appendChild(pre);

        // print out the return value (res.okay[1])

        if (res.okay[1])

        {

            var pre = document.createElement("pre");

            pre.setAttribute("class", "outputMsg");

            pre.appendChild(document.createTextNode(res.okay[1] + "\n"));

            output.appendChild(pre);

        }

        // set the prompt to >>>

        var prompt = document.getElementById("prompt");

        prompt.replaceChild(document.createTextNode(">>> "), prompt.firstChild);

    }

    else if (res.hasOwnProperty('exc'))

    {

        // Failure!

        // print out the error message (res.exc)

        var pre = document.createElement("pre");

        pre.setAttribute("class", "errorMsg");

        pre.appendChild(document.createTextNode(res.exc));

        output.appendChild(pre);

    }

    else if (res.hasOwnProperty('more'))

    {

        // Need more input, so set the prompt to ...

        var prompt = document.getElementById("prompt");

        prompt.replaceChild(document.createTextNode("... "), prompt.firstChild);

    }

    else {

        // assert res.hasOwnProperty('input')

        var prompt = document.getElementById("prompt");

        prompt.replaceChild(document.createTextNode("+++ "), prompt.firstChild);

    }

}

function catch_input(key)

{

    var inp = document.getElementById('inputText');

    if (key == 13)

    {

        enter_line();

        hist.add(inp.value);

        inp.value = hist.curr();

    }

    if (key == 38)

    {

        hist.up();

        inp.value = hist.curr();

    }

    if (key == 40)

    {

        hist.down();

        inp.value = hist.curr();

    }

}