1

// svghmi.js

     2

     3

(function(){

     4

    // Open WebSocket to relative "/ws" address

     5

    var ws = new WebSocket(window.location.href.replace(/^http(s?:\/\/[^\/]*)\/.*$/, 'ws$1/ws'));

     6

     7

    // Register message reception handler 

     8

    ws.onmessage = function (evt) {

     9

        // TODO : dispatch and cache hmi tree updates

    10

    11

        var received_msg = evt.data;

    14

        alert("Message is received..."+received_msg); 

    15

    };

    16

    17

    // Once connection established

    18

    ws.onopen = function (evt) {

    19

        // TODO : enable the HMI (was previously offline, or just starts)

    20

        //        show main page

    21

    24

        ws.send("test");

    25

    };

    26

})();