html/index.html

   1 <!doctype html>
   2 <html>
   3 <title>Websocket example</title>
   4
   5 <script>
   6     var socket = new WebSocket(
   7         "ws://" + document.domain + ':' + location.port,
   8         "merica-terminal-protocol"
   9     );
  10
  11     function update(id, msg) {
  12         document.getElementById(id).innerHTML = msg;
  13     }
  14
  15     socket.onopen = function() {
  16         console.log("socket open");
  17         update("text", "open");
  18     }
  19
  20     socket.onclose = function() {
  21         console.log("socket close");
  22         update("text", "closed");
  23     }
  24
  25     socket.onmessage = function(json) {
  26         var msg = JSON.parse(json.data);
  27
  28         update("json", "json: " + JSON.stringify(msg))
  29
  30         switch(msg.type) {
  31             case "empty":
  32                 update("text","");
  33                 break;
  34             case "rfid":
  35                 update("text",
  36                     "uid: " + msg.uid + "<br>" +
  37                     "card type: " + msg.card_type + "<br>" +
  38                     "uid size: " + msg.size + " bytes<br>" +
  39                     "sak: " + msg.sak
  40                 );
  41                 break;
  42             case "keys":
  43                 update("text",
  44                     "key: " + msg.key
  45                 );
  46         }
  47     }
  48
  49     function sendReset() {
  50         socket.send("reset");
  51         console.log("reset");
  52     }
  53
  54     function sendClose() {
  55         socket.send("close");
  56         console.log("close");
  57     }
  58 </script>
  59
  60 <body>
  61
  62 <button onclick="sendReset()">reset</button>
  63 <span style="display:inline-block; width: 20pt;"></span>
  64 <button onclick="sendClose()">close</button>
  65
  66 <p id="time">time.is
  67     <a href="https://time.is/" id="time_is_link" rel="nofollow"></a>
  68     <span id="Czechia_z721"></span>
  69     <script src="//widget.time.is/t.js"></script>
  70     <script>time_is_widget.init({Czechia_z721:{}});</script>
  71 </p>
  72
  73 <p id="json"></p>
  74 <p id="text"></p>
  75
  76 </body>
  77 </html>