Skip to content

Commit ebbe156

Browse files
committed
New collab LEDs and moved user removal code to
its own function so other functionality could use it
1 parent 3e4c232 commit ebbe156

2 files changed

Lines changed: 12 additions & 5 deletions

File tree

1.12 KB
Loading

server/cloud9/ide.js

Lines changed: 12 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -218,9 +218,7 @@ Ide.DEFAULT_PLUGINS = [
218218
setTimeout(function() {
219219
var now = new Date().getTime();
220220
if((now - user.last_message_time) > 10000) {
221-
delete _self.$users[user.uid];
222-
_self.onUserCountChange(Object.keys(_self.$users).length);
223-
_self.emit("userLeave", user);
221+
_self.removeUser(user);
224222
}
225223
}, 20000);
226224
});
@@ -229,15 +227,24 @@ Ide.DEFAULT_PLUGINS = [
229227
this.emit("userJoin", user);
230228
}
231229
};
232-
230+
233231
this.getUser = function(req) {
234232
var uid = req.session.uid;
235233
if (!uid || !this.$users[uid])
236234
return null;
237235
else
238236
return this.$users[uid];
239237
};
240-
238+
239+
this.removeUser = function(user) {
240+
if (!this.$users[user.uid])
241+
return;
242+
243+
delete this.$users[user.uid];
244+
this.onUserCountChange();
245+
this.emit("userLeave", user);
246+
};
247+
241248
this.getPermissions = function(req) {
242249
var user = this.getUser(req);
243250
if (!user)

0 commit comments

Comments
 (0)