← Back to branch summary

~ubuntu-branches/ubuntu/vivid/emscripten/vivid

« back to all changes in this revision

Viewing changes to third_party/websockify/wsirc.html

  • Committer: Package Import Robot
  • Author(s): Sylvestre Ledru
  • Date: 2013-05-02 13:11:51 UTC
  • Revision ID: package-import@ubuntu.com-20130502131151-q8dvteqr1ef2x7xz
Tags: upstream-1.4.1~20130504~adb56cb
Import upstream version 1.4.1~20130504~adb56cb

Show diffs side-by-side

added added

removed removed

Lines of Context:
third_party/websockify/wsirc.html
 
1
<html>
 
2
 
 
3
    <head>
 
4
        <title>IRC Client using WebSockets</title>
 
5
        <script src="include/base64.js"></script>
 
6
        <script src="include/websock.js"></script>
 
7
        <script src="include/util.js"></script>
 
8
        <script src="include/webutil.js"></script> 
 
9
        <script src="include/keysym.js"></script> 
 
10
        <script src="include/VT100.js"></script> 
 
11
        <script src="include/wsirc.js"></script> 
 
12
        <!-- Uncomment to activate firebug lite -->
 
13
        <!--
 
14
        <script type='text/javascript' 
 
15
            src='http://getfirebug.com/releases/lite/1.2/firebug-lite-compressed.js'></script>
 
16
        -->
 
17
 
 
18
 
 
19
    </head>
 
20
 
 
21
    <body>
 
22
 
 
23
        Host: <input id='host' style='width:100'>&nbsp;
 
24
        Port: <input id='port' style='width:50'>&nbsp;
 
25
        Encrypt: <input id='encrypt' type='checkbox'>&nbsp;
 
26
        <input id='connectButton' type='button' value='Connect' style='width:100px'>
 
27
        <br>
 
28
        Nick: <input id='nick' style='width:120'>&nbsp;
 
29
        <br>
 
30
        Channel: #<input id='channel' style='width:70'>&nbsp;
 
31
 
 
32
        <br><br>
 
33
 
 
34
        <div><pre id="irc"></pre></div>
 
35
        &gt;
 
36
        <input id="msg" type="text" size=80 onkeypress="sendMsg();">
 
37
 
 
38
        <script>
 
39
            var irc;
 
40
 
 
41
            function sendMsg() {
 
42
                if (event.keyCode === 13) {
 
43
                    var msg = $D('msg').value;
 
44
                    $D('msg').value = "";
 
45
 
 
46
                    Util.Debug("calling sendMsg('" + msg + "')");
 
47
                    irc.sendMsg(msg);
 
48
                }
 
49
            }
 
50
 
 
51
            function connect() {
 
52
                var ret;
 
53
                ret  = irc.connect($D('host').value,
 
54
                                   $D('port').value,
 
55
                                   $D('encrypt').checked,
 
56
                                   $D('nick').value,
 
57
                                   $D('channel').value);
 
58
                if (! ret) { return false; }
 
59
                $D('connectButton').disabled = true;
 
60
                $D('connectButton').value = "Connecting";
 
61
            }
 
62
 
 
63
            function disconnect() {
 
64
                $D('connectButton').disabled = true;
 
65
                $D('connectButton').value = "Disconnecting";
 
66
                irc.disconnect();
 
67
            }
 
68
 
 
69
            function connected() {
 
70
                $D('msg').disabled = false;
 
71
                $D('connectButton').disabled = false;
 
72
                $D('connectButton').value = "Disconnect";
 
73
                $D('connectButton').onclick = disconnect;
 
74
            }
 
75
 
 
76
            function disconnected() {
 
77
                $D('msg').disabled = true;
 
78
                $D('connectButton').disabled = false;
 
79
                $D('connectButton').value = "Connect";
 
80
                $D('connectButton').onclick = connect;
 
81
            }
 
82
 
 
83
            window.onload = function() {
 
84
                console.log("onload");
 
85
                var url = document.location.href;
 
86
                $D('host').value = (url.match(/host=([^&#]*)/) || ['',''])[1];
 
87
                $D('port').value = (url.match(/port=([^&#]*)/) || ['',''])[1];
 
88
                $D('nick').value = (url.match(/nick=([^&#]*)/) || ['',''])[1];
 
89
                $D('channel').value = (url.match(/channel=([^&#]*)/) || ['',''])[1];
 
90
 
 
91
                disconnected();
 
92
                
 
93
                irc = IRC('irc', connected, disconnected);
 
94
            }
 
95
        </script>
 
96
 
 
97
    </body>
 
98
 
 
99
</html>