3 <title>Websocket example</title>
6 var socket = new WebSocket(
7 "ws://" + document.domain + ':' + location.port,
8 "merica-terminal-protocol"
11 function update(id, msg) {
12 document.getElementById(id).innerHTML = msg;
15 socket.onopen = function() {
16 console.log("socket open");
17 update("text", "open");
20 socket.onclose = function() {
21 console.log("socket close");
22 update("text", "closed");
25 socket.onmessage = function(json) {
26 var msg = JSON.parse(json.data);
28 update("json", "json: " + JSON.stringify(msg))
36 "uid: " + msg.uid + "<br>" +
37 "card type: " + msg.card_type + "<br>" +
38 "uid size: " + msg.size + " bytes<br>" +
45 function sendReset() {
50 function sendClose() {
58 <button onclick="sendReset()">reset</button>
59 <span style="display:inline-block; width: 20pt;"></span>
60 <button onclick="sendClose()">close</button>
63 <a href="https://time.is/" id="time_is_link" rel="nofollow"></a>
64 <span id="Czechia_z721"></span>
65 <script src="//widget.time.is/t.js"></script>
66 <script>time_is_widget.init({Czechia_z721:{}});</script>