mapserver/server/static/js/WebSocketChannel.js

39 lines
957 B
JavaScript
Raw Normal View History

2019-02-01 14:58:26 +03:00
'use strict';
2019-01-29 20:08:54 +03:00
2019-02-01 14:58:26 +03:00
function WebSocketChannel(){
this.wsUrl = location.protocol.replace("http", "ws") + "//" + location.host + location.pathname.substring(0, location.pathname.lastIndexOf("/")) + "/api/ws";
this.listenerMap = {/* type -> [listeners] */};
}
2019-01-29 20:08:54 +03:00
2019-02-01 14:58:26 +03:00
WebSocketChannel.prototype.addListener = function(type, listener){
var list = this.listenerMap[type];
if (!list){
list = [];
this.listenerMap[type] = list;
}
2019-01-29 20:08:54 +03:00
2019-02-01 14:58:26 +03:00
list.push(listener);
};
2019-01-29 20:08:54 +03:00
2019-02-01 14:58:26 +03:00
WebSocketChannel.prototype.connect = function(){
var ws = new WebSocket(this.wsUrl);
var self = this;
2019-01-29 20:08:54 +03:00
2019-02-01 14:58:26 +03:00
ws.onmessage = function(e){
var event = JSON.parse(e.data);
//rendered-tile, mapobject-created, mapobjects-cleared
2019-01-29 20:08:54 +03:00
2019-02-01 14:58:26 +03:00
var listeners = self.listenerMap[event.type];
if (listeners){
self.listeners.forEach(function(listener){
listener(event.data);
});
2019-01-29 20:08:54 +03:00
}
2019-02-01 14:58:26 +03:00
}
2019-01-29 20:08:54 +03:00
2019-02-01 14:58:26 +03:00
ws.onerror = function(){
//reconnect after some time
setTimeout(connect, 1000);
}
2019-02-01 14:46:38 +03:00
};