mirror of
https://gitlab.uni-freiburg.de/opensourcevdi/spice-html5
synced 2025-12-26 13:25:58 +00:00
dfa40a73ff
In case the user didn't provide any password, we want to prompt him for it. Try once and if we get an permission denied error, then ask the password and retry to connect. Signed-off-by: Jeremy White <jwhite@codeweavers.com>
216 lines
8.0 KiB
HTML
216 lines
8.0 KiB
HTML
<!--
|
|
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>
|
|
<link rel="stylesheet" type="text/css" href="spice.css" />
|
|
|
|
<!-- ES2015/ES6 modules polyfill -->
|
|
<script type="module">
|
|
window._spice_has_module_support = true;
|
|
</script>
|
|
<script>
|
|
window.addEventListener("load", function() {
|
|
if (window._spice_has_module_support) return;
|
|
var loader = document.createElement("script");
|
|
loader.src = "thirdparty/browser-es-module-loader/dist/" +
|
|
"browser-es-module-loader.js";
|
|
document.head.appendChild(loader);
|
|
});
|
|
</script>
|
|
|
|
<script type="module" crossorigin="anonymous">
|
|
import * as SpiceHtml5 from './src/main.js';
|
|
|
|
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();
|
|
if (e !== undefined && e.message === "Permission denied.") {
|
|
var pass = prompt("Password");
|
|
connect(pass);
|
|
}
|
|
}
|
|
|
|
function connect(password)
|
|
{
|
|
var host, port, scheme = "ws://", uri;
|
|
|
|
// By default, use the host and port of server that served this file
|
|
host = spice_query_var('host', window.location.hostname);
|
|
|
|
// 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);
|
|
if (window.location.protocol == 'https:') {
|
|
scheme = "wss://";
|
|
}
|
|
|
|
// If a token variable is passed in, set the parameter in a cookie.
|
|
// This is used by nova-spiceproxy.
|
|
var token = spice_query_var('token', null);
|
|
if (token) {
|
|
spice_set_cookie('token', token, 1)
|
|
}
|
|
|
|
if (password === undefined) {
|
|
password = spice_query_var('password', '');
|
|
}
|
|
var 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;
|
|
|
|
if (path) {
|
|
uri += path[0] == '/' ? path : ('/' + path);
|
|
}
|
|
|
|
try
|
|
{
|
|
sc = new SpiceHtml5.SpiceMainConn({uri: uri, screen_id: "spice-screen", dump_id: "debug-div",
|
|
message_id: "message-div", password: password, onerror: spice_error, onagent: agent_connected });
|
|
}
|
|
catch (e)
|
|
{
|
|
alert(e.toString());
|
|
disconnect();
|
|
}
|
|
|
|
}
|
|
|
|
function disconnect()
|
|
{
|
|
console.log(">> disconnect");
|
|
if (sc) {
|
|
sc.stop();
|
|
}
|
|
if (window.File && window.FileReader && window.FileList && window.Blob)
|
|
{
|
|
var spice_xfer_area = document.getElementById('spice-xfer-area');
|
|
if (spice_xfer_area != null) {
|
|
document.getElementById('spice-area').removeChild(spice_xfer_area);
|
|
}
|
|
document.getElementById('spice-area').removeEventListener('dragover', SpiceHtml5.handle_file_dragover, false);
|
|
document.getElementById('spice-area').removeEventListener('drop', SpiceHtml5.handle_file_drop, false);
|
|
}
|
|
console.log("<< disconnect");
|
|
}
|
|
|
|
function agent_connected(sc)
|
|
{
|
|
window.addEventListener('resize', SpiceHtml5.handle_resize);
|
|
window.spice_connection = this;
|
|
|
|
SpiceHtml5.resize_helper(this);
|
|
|
|
if (window.File && window.FileReader && window.FileList && window.Blob)
|
|
{
|
|
var spice_xfer_area = document.createElement("div");
|
|
spice_xfer_area.setAttribute('id', 'spice-xfer-area');
|
|
document.getElementById('spice-area').appendChild(spice_xfer_area);
|
|
document.getElementById('spice-area').addEventListener('dragover', SpiceHtml5.handle_file_dragover, false);
|
|
document.getElementById('spice-area').addEventListener('drop', SpiceHtml5.handle_file_drop, false);
|
|
}
|
|
else
|
|
{
|
|
console.log("File API is not supported");
|
|
}
|
|
}
|
|
|
|
/* SPICE port event listeners
|
|
window.addEventListener('spice-port-data', function(event) {
|
|
// Here we convert data to text, but really we can obtain binary data also
|
|
var msg_text = arraybuffer_to_str(new Uint8Array(event.detail.data));
|
|
DEBUG > 0 && console.log('SPICE port', event.detail.channel.portName, 'message text:', msg_text);
|
|
});
|
|
|
|
window.addEventListener('spice-port-event', function(event) {
|
|
DEBUG > 0 && console.log('SPICE port', event.detail.channel.portName, 'event data:', event.detail.spiceEvent);
|
|
});
|
|
*/
|
|
|
|
connect(undefined);
|
|
</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>
|