4 <title>Command Example</title>
5 <script type="text/javascript">
6 window.onload = function () {
8 var msg = document.getElementById("msg");
9 var log = document.getElementById("log");
11 function appendLog(item) {
12 var doScroll = log.scrollTop > log.scrollHeight - log.clientHeight - 1;
13 log.appendChild(item);
15 log.scrollTop = log.scrollHeight - log.clientHeight;
19 document.getElementById("form").onsubmit = function () {
31 if (window["WebSocket"]) {
32 conn = new WebSocket("ws://" + document.location.host + "/ws");
33 conn.onclose = function (evt) {
34 var item = document.createElement("div");
35 item.innerHTML = "<b>Connection closed.</b>";
38 conn.onmessage = function (evt) {
39 var messages = evt.data.split('\n');
40 for (var i = 0; i < messages.length; i++) {
41 var item = document.createElement("div");
42 item.innerText = messages[i];
47 var item = document.createElement("div");
48 item.innerHTML = "<b>Your browser does not support WebSockets.</b>";
53 <style type="text/css">
70 padding: 0.5em 0.5em 0.5em 0.5em;
84 padding: 0 0.5em 0 0.5em;
98 <input type="submit" value="Send" />
99 <input type="text" id="msg" size="64"/>