changeset 260:07bbaa4815a7

*** empty log message ***
author pin
date Tue, 09 Sep 2008 16:47:27 +0900
parents 9e36fd27e2b6
children d557252092e3
files rep/Session.java
diffstat 1 files changed, 6 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/rep/Session.java	Tue Sep 09 16:29:19 2008 +0900
+++ b/rep/Session.java	Tue Sep 09 16:47:27 2008 +0900
@@ -97,7 +97,11 @@
 		return prevEditor;		
 	}
 	public void closeSession() {
-		// TODO Auto-generated method stub
-		
+		REPCommand command = new REPCommand();
+		command.setCMD(REP.REPCMD_CLOSE);
+		for(Editor editor : editorList){
+			command.setEID(editor.getEID());
+			editor.send(command);
+		}
 	}
 }