comparison rep/SessionManager.java @ 362:f0bd158dace6

*** empty log message ***
author kono
date Sun, 19 Oct 2008 23:05:59 +0900
parents 65c6d12a5835
children 1a8856580d38
comparison
equal deleted inserted replaced
361:65c6d12a5835 362:f0bd158dace6
453 } 453 }
454 454
455 455
456 public void remove(Editor editor) { 456 public void remove(Editor editor) {
457 Session s = sessionList.get(editor.getSID()); 457 Session s = sessionList.get(editor.getSID());
458 if (editor.isMaster()) { 458 if (s==null) {
459 assert(false);
460 editorList.remove(editor);
461 } else if (editor.isMaster()) {
459 removeSession(s); 462 removeSession(s);
460 } else { 463 } else {
461 s.deleteForwarder(editor); 464 s.deleteForwarder(editor);
462 editorList.remove(editor); 465 editorList.remove(editor);
463 } 466 }