spice_auto.html 7.49 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30
<!--
   Copyright (C) 2012 by Jeremy P. White <jwhite@codeweavers.com>

   This file is part of spice-html5.

   spice-html5 is free software: you can redistribute it and/or modify
   it under the terms of the GNU Lesser General Public License as published by
   the Free Software Foundation, either version 3 of the License, or
   (at your option) any later version.

   spice-html5 is distributed in the hope that it will be useful,
   but WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
   GNU Lesser General Public License for more details.

   You should have received a copy of the GNU Lesser General Public License
   along with spice-html5.  If not, see <http://www.gnu.org/licenses/>.

   --------------------------------------------------
    Spice Javascript client template.
    Refer to main.js for more detailed information
   --------------------------------------------------

-->

<!doctype html>
<html>
    <head>

        <title>Spice Javascript client</title>
31
        <script src="spicearraybuffer.js"></script> 
32 33 34 35 36 37 38 39 40 41 42 43 44 45 46
        <script src="enums.js"></script>
        <script src="atKeynames.js"></script>
        <script src="utils.js"></script>
        <script src="png.js"></script>
        <script src="lz.js"></script>
        <script src="quic.js"></script>
        <script src="bitmap.js"></script>
        <script src="spicedataview.js"></script>
        <script src="spicetype.js"></script>
        <script src="spicemsg.js"></script>
        <script src="wire.js"></script>
        <script src="spiceconn.js"></script>
        <script src="display.js"></script>
        <script src="main.js"></script>
        <script src="inputs.js"></script>
47 48
        <script src="webm.js"></script>
        <script src="playback.js"></script>
49
        <script src="simulatecursor.js"></script>
50
        <script src="cursor.js"></script>
51 52 53 54 55 56
        <script src="thirdparty/jsbn.js"></script>
        <script src="thirdparty/rsa.js"></script>
        <script src="thirdparty/prng4.js"></script>
        <script src="thirdparty/rng.js"></script>
        <script src="thirdparty/sha1.js"></script>
        <script src="ticket.js"></script>
57
        <script src="resize.js"></script>
58
        <script src="filexfer.js"></script>
59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91
        <link rel="stylesheet" type="text/css" href="spice.css" />

        <script>
            var host = null, port = null;
            var sc;

            function spice_set_cookie(name, value, days) {
                var date, expires;
                date = new Date();
                date.setTime(date.getTime() + (days*24*60*60*1000));
                expires = "; expires=" + date.toGMTString();
                document.cookie = name + "=" + value + expires + "; path=/";
            };

            function spice_query_var(name, defvalue) {
                var match = RegExp('[?&]' + name + '=([^&]*)')
                                  .exec(window.location.search);
                return match ?
                    decodeURIComponent(match[1].replace(/\+/g, ' '))
                    : defvalue;
            }

            function spice_error(e)
            {
                disconnect();
            }

            function connect()
            {
                var host, port, password, scheme = "ws://", uri;

                // By default, use the host and port of server that served this file
                host = spice_query_var('host', window.location.hostname);
92 93 94 95 96 97 98 99 100 101 102 103 104 105

                // Note that using the web server port only makes sense
                //  if your web server has a reverse proxy to relay the WebSocket
                //  traffic to the correct destination port.
                var default_port = window.location.port;
                if (!default_port) {
                    if (window.location.protocol == 'http:') {
                        default_port = 80;
                    }
                    else if (window.location.protocol == 'https:') {
                        default_port = 443;
                    }
                }
                port = spice_query_var('port', default_port);
106 107 108
                if (window.location.protocol == 'https:') {
                    scheme = "wss://";
                }
109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130

                // If a token variable is passed in, set the parameter in a cookie.
                // This is used by nova-spiceproxy.
                token = spice_query_var('token', null);
                if (token) {
                    spice_set_cookie('token', token, 1)
                }

                password = spice_query_var('password', '');
                path = spice_query_var('path', 'websockify');

                if ((!host) || (!port)) {
                    console.log("must specify host and port in URL");
                    return;
                }

                if (sc) {
                    sc.stop();
                }

                uri = scheme + host + ":" + port;

131 132 133 134
                if (path) {
                  uri += path[0] == '/' ? path : ('/' + path);
                }

135 136
                try
                {
137
                    sc = new SpiceMainConn({uri: uri, screen_id: "spice-screen", dump_id: "debug-div",
138
                                message_id: "message-div", password: password, onerror: spice_error, onagent: agent_connected });
139 140 141 142 143 144 145 146 147 148 149 150 151 152 153
                }
                catch (e)
                {
                    alert(e.toString());
                    disconnect();
                }

            }

            function disconnect()
            {
                console.log(">> disconnect");
                if (sc) {
                    sc.stop();
                }
154 155
                if (window.File && window.FileReader && window.FileList && window.Blob)
                {
156 157
                    var spice_xfer_area = document.getElementById('spice-xfer-area');
                    document.getElementById('spice-area').removeChild(spice_xfer_area);
158 159 160
                    document.getElementById('spice-area').removeEventListener('dragover', handle_file_dragover, false);
                    document.getElementById('spice-area').removeEventListener('drop', handle_file_drop, false);
                }
161 162 163
                console.log("<< disconnect");
            }

164 165 166 167 168 169
            function agent_connected(sc)
            {
                window.addEventListener('resize', handle_resize);
                window.spice_connection = this;

                resize_helper(this);
170 171 172

                if (window.File && window.FileReader && window.FileList && window.Blob)
                {
173 174
                    var spice_xfer_area = document.createElement("div");
                    spice_xfer_area.setAttribute('id', 'spice-xfer-area');
175
                    document.getElementById('spice-area').appendChild(spice_xfer_area);
176 177 178 179 180 181 182
                    document.getElementById('spice-area').addEventListener('dragover', handle_file_dragover, false);
                    document.getElementById('spice-area').addEventListener('drop', handle_file_drop, false);
                }
                else
                {
                    console.log("File API is not supported");
                }
183 184
            }

185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207
            connect();
        </script>

    </head>

    <body>

        <div id="login">
            <span class="logo">SPICE</span>
        </div>

        <div id="spice-area">
            <div id="spice-screen" class="spice-screen"></div>
        </div>

        <div id="message-div" class="spice-message"></div>

        <div id="debug-div">
        <!-- If DUMPXXX is turned on, dumped images will go here -->
        </div>

    </body>
</html>