Mercurial > hg > RemoteEditor > REPSessionManager

diff rep/SessionManager.java @ 362:f0bd158dace6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
*** empty log message ***
author kono
date Sun, 19 Oct 2008 23:05:59 +0900
parents 65c6d12a5835
children 1a8856580d38
line wrap: on
line diff
--- a/rep/SessionManager.java	Sun Oct 19 22:50:20 2008 +0900
+++ b/rep/SessionManager.java	Sun Oct 19 23:05:59 2008 +0900
@@ -455,7 +455,10 @@
 
 	public void remove(Editor editor) {
 		Session s = sessionList.get(editor.getSID());
-		if (editor.isMaster()) {
+		if (s==null) {
+			assert(false);
+			editorList.remove(editor);
+		} else if (editor.isMaster()) {
 			removeSession(s);
 		} else {
 			s.deleteForwarder(editor);