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         "dumb-increment-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.stringify(msg))
  29
  30         switch(msg.type) {
  31             case "rfid":
  32                 update("text", msg.uid + " " + msg.size);
  33                 break;
  34         }
  35     }
  36
  37     function sendReset() {
  38         socket.send("reset\n");
  39         console.log("reset");
  40     }
  41
  42     function sendClose() {
  43         socket.send("close\n");
  44         console.log("close");
  45     }
  46 </script>
  47
  48
  49
  50 <body>
  51
  52 <p id="json"></p>
  53 <p id="text"></p>
  54
  55 <a href="https://time.is/" id="time_is_link" rel="nofollow"></a>
  56 <span id="Czechia_z721"></span>
  57 <script src="//widget.time.is/t.js"></script>
  58 <script>
  59 time_is_widget.init({Czechia_z721:{}});
  60 </script>
  61
  62 <button onclick="sendReset()">reset</button>
  63 <button onclick="sendClose()">close</button>
  64 </body>
  65 </html>