← Back to branch summary

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

« back to all changes in this revision

Viewing changes to console/console.js

  • Committer: mattgiuca
  • Date: 2008-01-09 03:23:58 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:134
Added module: common/makeuser.py. Creates a new user jail by hardlinking the
jail template.
Added script: trunk/makeuser.py. Command-line script to run the above module
and create a user.

Show diffs side-by-side

added added

removed removed

Lines of Context:
console/console.js
28
28
function historyAdd(text)
29
29
{
30
30
    this.items[this.items.length] = text;
31
 
    this.cursor = this.items.length;
 
31
    this.cursor = this.items.length
32
32
}
33
33
 
34
34
function historyShow()
71
71
 
72
72
var hist = new History();
73
73
 
 
74
function make_query_string(pagename, args)
 
75
{
 
76
    var first = true;
 
77
    var qs = pagename;
 
78
    for (key in args)
 
79
    {
 
80
        vals = args[key];
 
81
        // vals can be an array, to make multiple args with the same name
 
82
        // To handle this, make non-array objects into an array, then loop
 
83
        if (!(vals instanceof Array))
 
84
            vals = [vals];
 
85
        for each (val in vals)
 
86
        {
 
87
            if (first)
 
88
            {
 
89
                qs += "?";
 
90
                first = false;
 
91
            }
 
92
            else
 
93
            {
 
94
                qs += "&";
 
95
            }
 
96
            qs += encodeURI(key) + "=" + encodeURI(val);
 
97
        }
 
98
    }
 
99
    return qs;
 
100
}
 
101
 
74
102
function make_post_body(args)
75
103
{
 
104
    var first = true;
76
105
    var qs = '';
77
106
    for (key in args)
78
107
    {
81
110
        // To handle this, make non-array objects into an array, then loop
82
111
        if (!(vals instanceof Array))
83
112
            vals = [vals];
84
 
        var i;
85
 
        for (i=0; i<vals.length; i++)
 
113
        for each (val in vals)
86
114
        {
87
 
            if (i > 0)
 
115
            if (first)
 
116
            {
 
117
                first = false;
 
118
            }
 
119
            else
88
120
            {
89
121
                qs += "&";
90
122
            }
91
 
            qs += encodeURIComponent(key) + "=" + encodeURIComponent(vals[i]);
 
123
            qs += encodeURI(key) + "=" + encodeURI(val);
92
124
        }
93
125
    }
94
126
    return qs;
99
131
    var inp = document.getElementById('inputText');
100
132
    var digest = hex_md5(inp.value + magic);
101
133
    var xmlhttp = new XMLHttpRequest();
 
134
    alert(inp.value);
102
135
    xmlhttp.open("POST", "chat", false);
103
136
    xmlhttp.setRequestHeader("Content-type", "application/x-www-form-urlencoded");
104
137
    xmlhttp.send(make_post_body({"digest":digest, "text":inp.value}))
105
138
    var res = JSON.parse(xmlhttp.responseText);
106
 
    var output = document.getElementById("output");
 
139
    var output = document.getElementById("output")
107
140
    {
108
141
        var pre = document.createElement("pre");
109
142
        pre.setAttribute("class", "inputMsg");
110
143
        pre.appendChild(document.createTextNode(inp.value + "\n"));
111
144
        output.appendChild(pre);
112
145
    }
113
 
    if (res.hasOwnProperty('okay'))
 
146
    if (res && res[0])
114
147
    {
115
148
        // Success!
116
 
        // print out the output (res.okay[0])
 
149
        // print out the output (res[0])
117
150
        var pre = document.createElement("pre");
118
151
        pre.setAttribute("class", "outputMsg");
119
 
        pre.appendChild(document.createTextNode(res.okay[0]));
 
152
        pre.appendChild(document.createTextNode(res[0]));
120
153
        output.appendChild(pre);
121
 
        // print out the return value (res.okay[1])
122
 
        if (res.okay[1])
 
154
        // print out the return value (res[1])
 
155
        if (res[1])
123
156
        {
124
157
            var pre = document.createElement("pre");
125
158
            pre.setAttribute("class", "outputMsg");
126
 
            pre.appendChild(document.createTextNode(res.okay[1] + "\n"));
 
159
            pre.appendChild(document.createTextNode(res[1] + "\n"));
127
160
            output.appendChild(pre);
128
161
        }
129
162
        // set the prompt to >>>
130
163
        var prompt = document.getElementById("prompt");
131
164
        prompt.replaceChild(document.createTextNode(">>> "), prompt.firstChild);
132
165
    }
133
 
    else if (res.hasOwnProperty('exc'))
 
166
    else if (res)
134
167
    {
135
168
        // Failure!
136
 
        // print out the error message (res.exc)
 
169
        // print out the error message (res[2])
137
170
        var pre = document.createElement("pre");
138
171
        pre.setAttribute("class", "errorMsg");
139
 
        pre.appendChild(document.createTextNode(res.exc));
 
172
        pre.appendChild(document.createTextNode(res[2]));
140
173
        output.appendChild(pre);
141
174
    }
142
 
    else if (res.hasOwnProperty('more'))
 
175
    else
143
176
    {
144
177
        // Need more input, so set the prompt to ...
145
178
        var prompt = document.getElementById("prompt");
146
179
        prompt.replaceChild(document.createTextNode("... "), prompt.firstChild);
147
180
    }
148
 
    else {
149
 
        // assert res.hasOwnProperty('input')
150
 
        var prompt = document.getElementById("prompt");
151
 
        prompt.replaceChild(document.createTextNode("+++ "), prompt.firstChild);
152
 
    }
153
181
}
154
182
 
155
183
function catch_input(key)