equal
deleted
inserted
replaced
45 comment { |
45 comment { |
46 apply "$hmitree", mode="testtree"; |
46 apply "$hmitree", mode="testtree"; |
47 } |
47 } |
48 apply "@* | node()"; |
48 apply "@* | node()"; |
49 } |
49 } |
50 script |
50 script{ |
51 || |
51 /*TODO add : |
52 (function(){ |
52 - pages content |
53 var relative_URI = window.location.href.replace(/^http(s?:\/\/[^\/]*)\/.*$/, 'ws$1/ws'); |
53 + with ref to elt ? |
54 var ws = new WebSocket(relative_URI); |
54 - widgets parameters |
55 ws.onmessage = function (evt) { |
55 */ |
56 var received_msg = evt.data; |
56 include text svghmi.js |
57 alert("Message is received..."+received_msg); |
57 } |
58 }; |
|
59 ws.onopen = function (evt) { |
|
60 ws.send("test"); |
|
61 }; |
|
62 })(); |
|
63 || |
|
64 } |
58 } |
65 } |
59 } |
66 |
60 |
67 template "bbox", mode="testgeo"{ |
61 template "bbox", mode="testgeo"{ |
68 | ID: «@Id» x: «@x» y: «@y» w: «@w» h: «@h» |
62 | ID: «@Id» x: «@x» y: «@y» w: «@w» h: «@h» |