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