web/cryptpad
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Improve the detection of a disconnected peer to update the user list with the WebRTC service

Browse Source
This commit is contained in:
Yann Flory
2016-03-14 15:20:00 +01:00
parent 77e7fb5724
commit 3a188625e0
3 changed files with 8 additions and 18 deletions
Download Patch File Download Diff File Expand all files Collapse all files

20
www/common/netflux.js
View File

@@ -222,9 +222,7 @@ return /******/ (function(modules) { // webpackBootstrap
_createClass(WebChannel, [{
key: 'leave',
value: function leave() {
this.topologyService.leave(this);
}
value: function leave() {}
}, {
key: 'send',
value: function send(data) {
@@ -491,6 +489,7 @@ return /******/ (function(modules) { // webpackBootstrap
if (webChannel.channels.size === 0) {
webChannel.channels.add(channel);
channel.onclose = function () {
webChannel.onLeaving(channel.peerID);
webChannel.channels.delete(channel);
};
resolve(channel.peerID);
@@ -522,6 +521,7 @@ return /******/ (function(modules) { // webpackBootstrap
var channel = webChannel.aboutToJoin.get(id);
webChannel.channels.add(webChannel.aboutToJoin.get(id));
channel.onclose = function () {
webChannel.onLeaving(channel.peerID);
webChannel.channels.delete(channel);
};
//webChannel.aboutToJoin.delete(id)
@@ -602,8 +602,7 @@ return /******/ (function(modules) { // webpackBootstrap
}, {
key: 'leave',
value: function leave(webChannel) {
var protocol = _ServiceProvider2.default.get(cs.EXCHANGEPROTOCOL_SERVICE);
this.broadcast(webChannel, protocol.message(cs.LEAVING, { id: webChannel.myID }));
this.broadcast(webChannel);
}
}, {
key: '_generateID',
@@ -946,6 +945,10 @@ return /******/ (function(modules) { // webpackBootstrap
e.channel.webChannel = webChannel;
e.channel.onmessage = _this3.protocol.onmessage;
webChannel.channels.add(e.channel);
e.channel.onclose = function () {
webChannel.onLeaving(e.channel.peerID);
webChannel.channels.delete(e.channel);
};
};
};
connection.onicecandidate = function (e) {
@@ -1158,9 +1161,6 @@ return /******/ (function(modules) { // webpackBootstrap
case cs.GET_HISTORY:
webChannel.onPeerMessage(msg.id, msg.code);
break;
case cs.LEAVING:
webChannel.onLeaving(msg.id);
break;
case cs.SERVICE_DATA:
var service = _ServiceProvider2.default.get(msg.service);
service.onmessage(channel, msg.data);
@@ -1178,7 +1178,6 @@ return /******/ (function(modules) { // webpackBootstrap
case cs.JOIN_FINISH:
webChannel.topologyService.addFinish(webChannel, msg.id);
if (msg.id != webChannel.myID) {
console.log('different id');
webChannel.onJoining(msg.id);
}
break;
@@ -1196,9 +1195,6 @@ return /******/ (function(modules) { // webpackBootstrap
case cs.GET_HISTORY:
msg.id = data.id;
break;
case cs.LEAVING:
msg.id = data.id;
break;
case cs.SERVICE_DATA:
msg.service = data.service;
msg.data = Object.assign({}, data.data);