File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff 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 )
You can’t perform that action at this time.
0 commit comments