Mercurial > hg > RemoteEditor > REPSessionManager
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 } |