annotate rep/SessionManager.java @ 352:39223c6ef689

*** empty log message ***
author kono
date Thu, 16 Oct 2008 13:52:11 +0900
parents ef4afcae0c92
children 0d47ff22ee0e
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
266
4a02c7f26794 *** empty log message ***
kono
parents: 264
diff changeset
1
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
2 package rep;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
3
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
4 import java.io.IOException;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
5 import java.net.InetSocketAddress;
267
c513cf1ce9cc call handle.cancel() on socket channel close.
kono
parents: 266
diff changeset
6 import java.nio.channels.ClosedChannelException;
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
7 import java.nio.channels.SelectionKey;
83
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
8 import java.util.LinkedList;
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
9 import java.util.List;
231
b837feb00132 *** empty log message ***
pin
parents: 229
diff changeset
10 import java.util.Set;
178
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
11 import java.util.concurrent.BlockingQueue;
192
6fb97c7a0b42 *** empty log message ***
pin
parents: 191
diff changeset
12 import java.util.concurrent.LinkedBlockingQueue;
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
13
346
edf0e0a5ffc8 *** empty log message ***
kono
parents: 343
diff changeset
14 import org.xml.sax.SAXException;
edf0e0a5ffc8 *** empty log message ***
kono
parents: 343
diff changeset
15
198
ff3fcdcccc85 *** empty log message ***
pin
parents: 192
diff changeset
16
337
5ba5b7a9761b use REPLogger
kono
parents: 336
diff changeset
17 import rep.channel.REPLogger;
123
5b1a0574b406 *** empty log message ***
pin
parents: 122
diff changeset
18 import rep.channel.REPServerSocketChannel;
133
8dce4348966c *** empty log message ***
kono
parents: 124
diff changeset
19 import rep.channel.REPSocketChannel;
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
20 import rep.handler.PacketSet;
146
20beee6ca31a *** empty log message ***
pin
parents: 144
diff changeset
21 import rep.handler.REPHandler;
158
5cc8cd48bded *** empty log message ***
pin
parents: 155
diff changeset
22 import rep.channel.REPSelector;
56
6ead43b2475e *** empty log message ***
pin
parents: 53
diff changeset
23 import rep.xml.SessionXMLDecoder;
45
10f1adf6d74d *** empty log message ***
pin
parents: 39
diff changeset
24 import rep.xml.SessionXMLEncoder;
198
ff3fcdcccc85 *** empty log message ***
pin
parents: 192
diff changeset
25 import rep.channel.REPSelectionKey;
264
8c02ec16b874 *** empty log message ***
pin
parents: 259
diff changeset
26
198
ff3fcdcccc85 *** empty log message ***
pin
parents: 192
diff changeset
27 /*
264
8c02ec16b874 *** empty log message ***
pin
parents: 259
diff changeset
28 +-------+--------+--------+-------+--------+---------+------+
8c02ec16b874 *** empty log message ***
pin
parents: 259
diff changeset
29 | cmd | session| editor | seqid | lineno | textsiz | text |
8c02ec16b874 *** empty log message ***
pin
parents: 259
diff changeset
30 | | id | id | | | | |
8c02ec16b874 *** empty log message ***
pin
parents: 259
diff changeset
31 +-------+--------+--------+-------+--------+---------+------+
8c02ec16b874 *** empty log message ***
pin
parents: 259
diff changeset
32 o---------- header section (network order) ----------o
8c02ec16b874 *** empty log message ***
pin
parents: 259
diff changeset
33
8c02ec16b874 *** empty log message ***
pin
parents: 259
diff changeset
34 int cmd; kind of command
8c02ec16b874 *** empty log message ***
pin
parents: 259
diff changeset
35 int sid; session ID : uniqu to editing file
8c02ec16b874 *** empty log message ***
pin
parents: 259
diff changeset
36 int eid; editor ID : owner editor ID = 1。Session に対して unique
308
c5be84d53c7f *** empty log message ***
kono
parents: 304
diff changeset
37 -1 session manager command
c5be84d53c7f *** empty log message ***
kono
parents: 304
diff changeset
38 -2 merge command
264
8c02ec16b874 *** empty log message ***
pin
parents: 259
diff changeset
39 int seqno; Sequence number : sequence number はエディタごとに管理
8c02ec16b874 *** empty log message ***
pin
parents: 259
diff changeset
40 int lineno; line number
8c02ec16b874 *** empty log message ***
pin
parents: 259
diff changeset
41 int textsize; textsize : bytesize
8c02ec16b874 *** empty log message ***
pin
parents: 259
diff changeset
42 byte[] text;
198
ff3fcdcccc85 *** empty log message ***
pin
parents: 192
diff changeset
43 */
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
44
250
5f357ca66714 *** empty log message ***
pin
parents: 246
diff changeset
45 public class SessionManager implements SessionManagerEventListener{
337
5ba5b7a9761b use REPLogger
kono
parents: 336
diff changeset
46 static public REPLogger logger = REPLogger.singleton();
5ba5b7a9761b use REPLogger
kono
parents: 336
diff changeset
47
319
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
48 LinkedList<Session> sessionList;
280
a549bd4dadb8 *** empty log message ***
kono
parents: 279
diff changeset
49 private SessionManagerGUI gui;
198
ff3fcdcccc85 *** empty log message ***
pin
parents: 192
diff changeset
50 private REPSelector<REPCommand> selector;
319
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
51 SessionManagerList smList;
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
52 List<Editor> editorList;
304
75192c844a8d *** empty log message ***
kono
parents: 300
diff changeset
53 // editorList は、sessionList に入っているeditorとは別なeditorのlistらしい。
349
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
54 // private String maxHost;
212
e8f716498caf *** empty log message ***
pin
parents: 201
diff changeset
55 private List<PacketSet> waitingCommandInMerge;
308
c5be84d53c7f *** empty log message ***
kono
parents: 304
diff changeset
56 private BlockingQueue<SessionManagerEvent> waitingEventQueue = new LinkedBlockingQueue<SessionManagerEvent>();;
319
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
57 String myHost;
317
c83a3faec487 *** empty log message ***
kono
parents: 316
diff changeset
58 private LinkedList<PacketSet> writeQueue = new LinkedList<PacketSet>();
336
d00cb51ba652 *** empty log message ***
kono
parents: 334
diff changeset
59 private int receive_port;
d00cb51ba652 *** empty log message ***
kono
parents: 334
diff changeset
60 private int parent_port;
101
612cb62151ce *** empty log message ***
pin
parents: 100
diff changeset
61 static final int DEFAULT_PORT = 8766;
332
36faf76a087c *** empty log message ***
kono
parents: 330
diff changeset
62 private static final int packetLimit = 200;
346
edf0e0a5ffc8 *** empty log message ***
kono
parents: 343
diff changeset
63 private SessionXMLDecoder decoder = new SessionXMLDecoder();
316
77f443f6dc9f add session manager channel handler
kono
parents: 315
diff changeset
64
349
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
65 private boolean smjoin_mode;
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
66
316
77f443f6dc9f add session manager channel handler
kono
parents: 315
diff changeset
67 public static void main(String[] args) throws InterruptedException, IOException {
77f443f6dc9f add session manager channel handler
kono
parents: 315
diff changeset
68
77f443f6dc9f add session manager channel handler
kono
parents: 315
diff changeset
69 int port = DEFAULT_PORT;
77f443f6dc9f add session manager channel handler
kono
parents: 315
diff changeset
70 int port_s = DEFAULT_PORT;
77f443f6dc9f add session manager channel handler
kono
parents: 315
diff changeset
71 //System.setProperty("file.encoding", "UTF-8");
77f443f6dc9f add session manager channel handler
kono
parents: 315
diff changeset
72 if(args.length > 0){
77f443f6dc9f add session manager channel handler
kono
parents: 315
diff changeset
73 port = Integer.parseInt(args[0]);
77f443f6dc9f add session manager channel handler
kono
parents: 315
diff changeset
74 port_s = Integer.parseInt(args[1]);
77f443f6dc9f add session manager channel handler
kono
parents: 315
diff changeset
75 }
77f443f6dc9f add session manager channel handler
kono
parents: 315
diff changeset
76 SessionManager sm = new SessionManager();
336
d00cb51ba652 *** empty log message ***
kono
parents: 334
diff changeset
77 sm.setReceivePort(port);
d00cb51ba652 *** empty log message ***
kono
parents: 334
diff changeset
78 sm.setParentPort(port_s);
316
77f443f6dc9f add session manager channel handler
kono
parents: 315
diff changeset
79 sm.init(port,new SessionManagerGUIimpl(sm));
77f443f6dc9f add session manager channel handler
kono
parents: 315
diff changeset
80
77f443f6dc9f add session manager channel handler
kono
parents: 315
diff changeset
81
77f443f6dc9f add session manager channel handler
kono
parents: 315
diff changeset
82 }
77f443f6dc9f add session manager channel handler
kono
parents: 315
diff changeset
83
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
84
336
d00cb51ba652 *** empty log message ***
kono
parents: 334
diff changeset
85 public void setReceivePort(int port) {
d00cb51ba652 *** empty log message ***
kono
parents: 334
diff changeset
86 receive_port = port;
d00cb51ba652 *** empty log message ***
kono
parents: 334
diff changeset
87 }
d00cb51ba652 *** empty log message ***
kono
parents: 334
diff changeset
88
d00cb51ba652 *** empty log message ***
kono
parents: 334
diff changeset
89
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
90 public void openSelector() throws IOException{
231
b837feb00132 *** empty log message ***
pin
parents: 229
diff changeset
91 selector = REPSelector.<REPCommand>create();
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
92 }
280
a549bd4dadb8 *** empty log message ***
kono
parents: 279
diff changeset
93
a549bd4dadb8 *** empty log message ***
kono
parents: 279
diff changeset
94 public void init(int port, SessionManagerGUI gui) throws IOException, InterruptedException {
a549bd4dadb8 *** empty log message ***
kono
parents: 279
diff changeset
95 this.gui = gui;
a549bd4dadb8 *** empty log message ***
kono
parents: 279
diff changeset
96 openSelector();
a549bd4dadb8 *** empty log message ***
kono
parents: 279
diff changeset
97 init(port);
a549bd4dadb8 *** empty log message ***
kono
parents: 279
diff changeset
98 mainLoop();
a549bd4dadb8 *** empty log message ***
kono
parents: 279
diff changeset
99 }
a549bd4dadb8 *** empty log message ***
kono
parents: 279
diff changeset
100
a549bd4dadb8 *** empty log message ***
kono
parents: 279
diff changeset
101
a549bd4dadb8 *** empty log message ***
kono
parents: 279
diff changeset
102 private void init(int port) throws InterruptedException, IOException {
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
103
186
d22384c0026c *** empty log message ***
kent
parents: 185
diff changeset
104 REPServerSocketChannel<REPCommand> ssc = REPServerSocketChannel.<REPCommand>open(new REPCommandPacker());
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
105 ssc.configureBlocking(false); //reuse address 必須
101
612cb62151ce *** empty log message ***
pin
parents: 100
diff changeset
106 ssc.socket().setReuseAddress(true);
212
e8f716498caf *** empty log message ***
pin
parents: 201
diff changeset
107 //getAllByNameで取れた全てのアドレスに対してbindする
e8f716498caf *** empty log message ***
pin
parents: 201
diff changeset
108 ssc.socket().bind(new InetSocketAddress(port));
349
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
109 ssc.register(selector, SelectionKey.OP_ACCEPT,
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
110 new Forwarder(this));
6
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
111
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
112 sessionList = new LinkedList<Session>();
7
5067a6a93d01 *** empty log message ***
pin
parents: 6
diff changeset
113 smList = new SessionManagerList();
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
114 editorList = new LinkedList<Editor>();
212
e8f716498caf *** empty log message ***
pin
parents: 201
diff changeset
115 waitingCommandInMerge = new LinkedList<PacketSet>();
228
e6c7a56ff7f1 *** empty log message ***
pin
parents: 227
diff changeset
116
215
7649238aaf66 *** empty log message ***
pin
parents: 213
diff changeset
117
155
bbd2801d8ce0 *** empty log message ***
pin
parents: 152
diff changeset
118 }
313
0585fd2410b8 Single Insert Command worked.
kono
parents: 308
diff changeset
119
0585fd2410b8 Single Insert Command worked.
kono
parents: 308
diff changeset
120 /*
0585fd2410b8 Single Insert Command worked.
kono
parents: 308
diff changeset
121 * We wrote everything in one thread, but we can assign
0585fd2410b8 Single Insert Command worked.
kono
parents: 308
diff changeset
122 * one thread for each communication channel and GUI event.
0585fd2410b8 Single Insert Command worked.
kono
parents: 308
diff changeset
123 */
155
bbd2801d8ce0 *** empty log message ***
pin
parents: 152
diff changeset
124
231
b837feb00132 *** empty log message ***
pin
parents: 229
diff changeset
125 public void mainLoop() throws IOException {
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
126 while(true){
328
6ceb222570cb merge is working now.
kono
parents: 327
diff changeset
127 checkWaitingCommandInMerge();
313
0585fd2410b8 Single Insert Command worked.
kono
parents: 308
diff changeset
128 if (checkInputEvent() ||
328
6ceb222570cb merge is working now.
kono
parents: 327
diff changeset
129 checkWaitingWrite()) {
313
0585fd2410b8 Single Insert Command worked.
kono
parents: 308
diff changeset
130 // try to do fair execution for waiting task
0585fd2410b8 Single Insert Command worked.
kono
parents: 308
diff changeset
131 if(selector.selectNow() > 0) select();
0585fd2410b8 Single Insert Command worked.
kono
parents: 308
diff changeset
132 continue;
300
8f6b7a1890b2 *** empty log message ***
kono
parents: 296
diff changeset
133 }
313
0585fd2410b8 Single Insert Command worked.
kono
parents: 308
diff changeset
134 // now we can wait for input packet or event
233
dae90ded1bcd *** empty log message ***
pin
parents: 231
diff changeset
135 selector.select();
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
136 select();
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
137 }
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
138 }
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
139
313
0585fd2410b8 Single Insert Command worked.
kono
parents: 308
diff changeset
140 private boolean checkInputEvent() {
0585fd2410b8 Single Insert Command worked.
kono
parents: 308
diff changeset
141 SessionManagerEvent e;
0585fd2410b8 Single Insert Command worked.
kono
parents: 308
diff changeset
142 if((e = waitingEventQueue.poll())!=null){
334
4fae49280699 Test pattern for Inter-Session Manager communication
kono
parents: 332
diff changeset
143 e.exec(this);
313
0585fd2410b8 Single Insert Command worked.
kono
parents: 308
diff changeset
144 return true;
0585fd2410b8 Single Insert Command worked.
kono
parents: 308
diff changeset
145 }
0585fd2410b8 Single Insert Command worked.
kono
parents: 308
diff changeset
146 return false;
0585fd2410b8 Single Insert Command worked.
kono
parents: 308
diff changeset
147 }
0585fd2410b8 Single Insert Command worked.
kono
parents: 308
diff changeset
148
0585fd2410b8 Single Insert Command worked.
kono
parents: 308
diff changeset
149 private boolean checkWaitingWrite() throws IOException {
317
c83a3faec487 *** empty log message ***
kono
parents: 316
diff changeset
150 PacketSet p = writeQueue.poll();
c83a3faec487 *** empty log message ***
kono
parents: 316
diff changeset
151 if (p!=null) {
327
7b6dede07f4a *** empty log message ***
kono
parents: 324
diff changeset
152 p.channel.write(p.command);
317
c83a3faec487 *** empty log message ***
kono
parents: 316
diff changeset
153 return true;
313
0585fd2410b8 Single Insert Command worked.
kono
parents: 308
diff changeset
154 }
0585fd2410b8 Single Insert Command worked.
kono
parents: 308
diff changeset
155 return false;
0585fd2410b8 Single Insert Command worked.
kono
parents: 308
diff changeset
156 }
0585fd2410b8 Single Insert Command worked.
kono
parents: 308
diff changeset
157
308
c5be84d53c7f *** empty log message ***
kono
parents: 304
diff changeset
158 /**
c5be84d53c7f *** empty log message ***
kono
parents: 304
diff changeset
159 * Check waiting command in merge
c5be84d53c7f *** empty log message ***
kono
parents: 304
diff changeset
160 * @return true if there is a processed waiting command
c5be84d53c7f *** empty log message ***
kono
parents: 304
diff changeset
161 * @throws IOException
c5be84d53c7f *** empty log message ***
kono
parents: 304
diff changeset
162 */
346
edf0e0a5ffc8 *** empty log message ***
kono
parents: 343
diff changeset
163 private void checkWaitingCommandInMerge() {
328
6ceb222570cb merge is working now.
kono
parents: 327
diff changeset
164 List<PacketSet> w = waitingCommandInMerge;
6ceb222570cb merge is working now.
kono
parents: 327
diff changeset
165 waitingCommandInMerge = new LinkedList<PacketSet>();
6ceb222570cb merge is working now.
kono
parents: 327
diff changeset
166 for(PacketSet p: w) {
6ceb222570cb merge is working now.
kono
parents: 327
diff changeset
167 Editor e = p.getEditor();
6ceb222570cb merge is working now.
kono
parents: 327
diff changeset
168 if(e!=null &&e.isMerging()) { // still merging do nothing
6ceb222570cb merge is working now.
kono
parents: 327
diff changeset
169 waitingCommandInMerge.add(p);
6ceb222570cb merge is working now.
kono
parents: 327
diff changeset
170 } else {
346
edf0e0a5ffc8 *** empty log message ***
kono
parents: 343
diff changeset
171 try {
349
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
172 manage(e, p.command);
347
86935b872385 *** empty log message ***
kono
parents: 346
diff changeset
173 } catch (Exception e1) {
349
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
174 // should be e.close()?
346
edf0e0a5ffc8 *** empty log message ***
kono
parents: 343
diff changeset
175 close(p.channel);
edf0e0a5ffc8 *** empty log message ***
kono
parents: 343
diff changeset
176 }
328
6ceb222570cb merge is working now.
kono
parents: 327
diff changeset
177 }
6ceb222570cb merge is working now.
kono
parents: 327
diff changeset
178 }
6ceb222570cb merge is working now.
kono
parents: 327
diff changeset
179 }
6ceb222570cb merge is working now.
kono
parents: 327
diff changeset
180
346
edf0e0a5ffc8 *** empty log message ***
kono
parents: 343
diff changeset
181 private void close(REPSocketChannel<REPCommand> channel) {
edf0e0a5ffc8 *** empty log message ***
kono
parents: 343
diff changeset
182 REPSelectionKey<REPCommand>key = channel.keyFor1(selector);
edf0e0a5ffc8 *** empty log message ***
kono
parents: 343
diff changeset
183 REPHandler handler = (REPHandler)key.attachment();
edf0e0a5ffc8 *** empty log message ***
kono
parents: 343
diff changeset
184 key.cancel();
edf0e0a5ffc8 *** empty log message ***
kono
parents: 343
diff changeset
185 handler.cancel(channel);
edf0e0a5ffc8 *** empty log message ***
kono
parents: 343
diff changeset
186 // we have to remove session/enditor
edf0e0a5ffc8 *** empty log message ***
kono
parents: 343
diff changeset
187 }
edf0e0a5ffc8 *** empty log message ***
kono
parents: 343
diff changeset
188
edf0e0a5ffc8 *** empty log message ***
kono
parents: 343
diff changeset
189
328
6ceb222570cb merge is working now.
kono
parents: 327
diff changeset
190 public boolean hasWaitingCommand(REPSocketChannel<REPCommand>c) {
6ceb222570cb merge is working now.
kono
parents: 327
diff changeset
191 for(PacketSet p:waitingCommandInMerge) {
6ceb222570cb merge is working now.
kono
parents: 327
diff changeset
192 if (p.channel==c) {
212
e8f716498caf *** empty log message ***
pin
parents: 201
diff changeset
193 return true;
178
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
194 }
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
195 }
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
196 return false;
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
197 }
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
198
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
199 private void select() throws IOException {
231
b837feb00132 *** empty log message ***
pin
parents: 229
diff changeset
200
b837feb00132 *** empty log message ***
pin
parents: 229
diff changeset
201 Set<REPSelectionKey<REPCommand>> keys = selector.selectedKeys1();
b837feb00132 *** empty log message ***
pin
parents: 229
diff changeset
202 for(REPSelectionKey<REPCommand> key : keys){
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
203 if(key.isAcceptable()){
199
456ba58cd042 *** empty log message ***
pin
parents: 198
diff changeset
204 REPSocketChannel<REPCommand> channel = key.accept(new REPCommandPacker());
337
5ba5b7a9761b use REPLogger
kono
parents: 336
diff changeset
205 logger.writeLog("SessionManager.select() : key.isAcceptable : channel = " + channel);
349
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
206 registerChannel (channel, SelectionKey.OP_READ,new Forwarder(this));
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
207 channel = null;
123
5b1a0574b406 *** empty log message ***
pin
parents: 122
diff changeset
208
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
209 }else if(key.isReadable()){
212
e8f716498caf *** empty log message ***
pin
parents: 201
diff changeset
210 REPHandler handler = (REPHandler)(key.attachment());
267
c513cf1ce9cc call handle.cancel() on socket channel close.
kono
parents: 266
diff changeset
211 try {
c513cf1ce9cc call handle.cancel() on socket channel close.
kono
parents: 266
diff changeset
212 handler.handle(key);
346
edf0e0a5ffc8 *** empty log message ***
kono
parents: 343
diff changeset
213 } catch (Exception x) {
267
c513cf1ce9cc call handle.cancel() on socket channel close.
kono
parents: 266
diff changeset
214 key.cancel();
308
c5be84d53c7f *** empty log message ***
kono
parents: 304
diff changeset
215 handler.cancel(key.channel1());
267
c513cf1ce9cc call handle.cancel() on socket channel close.
kono
parents: 266
diff changeset
216 }
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
217 }
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
218 }
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
219 }
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
220
349
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
221 private void registerChannel(REPSocketChannel<REPCommand> channel, int ops,Forwarder handler) throws IOException {
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
222 if(channel == null) {
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
223 return;
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
224 }
349
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
225 handler.setChannel(channel);
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
226 channel.configureBlocking(false);
148
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
227 channel.register(selector, ops, handler);
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
228 }
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
229
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
230
349
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
231 boolean manage(Forwarder channel,
319
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
232 REPCommand receivedCommand) throws ClosedChannelException,
346
edf0e0a5ffc8 *** empty log message ***
kono
parents: 343
diff changeset
233 IOException, SAXException {
75
a636b651dbce *** empty log message ***
pin
parents: 74
diff changeset
234 switch(receivedCommand.cmd){
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
235
319
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
236 // Session Manager Command
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
237
271
kono
parents: 267
diff changeset
238 case SMCMD_JOIN:
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
239 {
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
240 //どのSessionにも属さないエディタをリストに追加
317
c83a3faec487 *** empty log message ***
kono
parents: 316
diff changeset
241 //エディタとchannelは1対1 (ではない)
212
e8f716498caf *** empty log message ***
pin
parents: 201
diff changeset
242 //エディタが新しくputする場合は新しくソケットを作る
317
c83a3faec487 *** empty log message ***
kono
parents: 316
diff changeset
243 // ここのeditorList はsessionのとは別物
349
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
244 Editor editor1 = new Editor(this,-1,channel.channel);
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
245 registerChannel(channel.channel,SelectionKey.OP_READ,editor1);
319
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
246 editor1.setHost(myHost);
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
247 editorList.add(editor1);
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
248
259
9e36fd27e2b6 *** empty log message ***
pin
parents: 258
diff changeset
249 updateGUI();
319
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
250
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
251 }
319
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
252
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
253 break;
319
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
254
271
kono
parents: 267
diff changeset
255 case SMCMD_JOIN_ACK:
212
e8f716498caf *** empty log message ***
pin
parents: 201
diff changeset
256 assert (false);
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
257 break;
319
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
258
271
kono
parents: 267
diff changeset
259 case SMCMD_PUT:
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
260 {
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
261 //Sessionを生成
322
5893fd8c0f50 *** empty log message ***
kono
parents: 320
diff changeset
262 // sessionIDってglobaly uniqueだから、本来は、
5893fd8c0f50 *** empty log message ***
kono
parents: 320
diff changeset
263 // 自分の親に作ってもらう必要がある。自分が親なら自分で作って良い。
5893fd8c0f50 *** empty log message ***
kono
parents: 320
diff changeset
264
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
265 int sid = sessionList.size();
349
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
266 Editor editor = new Editor(this,0, channel.channel);
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
267 registerChannel(channel.channel,SelectionKey.OP_READ,editor);
322
5893fd8c0f50 *** empty log message ***
kono
parents: 320
diff changeset
268 editorList.add(editor);
5893fd8c0f50 *** empty log message ***
kono
parents: 320
diff changeset
269 editor.setHost(myHost);
5893fd8c0f50 *** empty log message ***
kono
parents: 320
diff changeset
270 Session session = new Session(sid, receivedCommand.string, editor);
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
271 session.hasOwner(true);
227
cbd67817e9cd *** empty log message ***
pin
parents: 224
diff changeset
272 sessionList.add(session);
319
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
273
259
9e36fd27e2b6 *** empty log message ***
pin
parents: 258
diff changeset
274 updateGUI();
319
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
275
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
276 //エディタにAckを送信
316
77f443f6dc9f add session manager channel handler
kono
parents: 315
diff changeset
277 REPCommand sendCommand = new REPCommand(receivedCommand);
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
278 sendCommand.setCMD(REP.SMCMD_PUT_ACK);
322
5893fd8c0f50 *** empty log message ***
kono
parents: 320
diff changeset
279 sendCommand.setEID(editor.getEID());
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
280 sendCommand.setSID(session.getSID());
322
5893fd8c0f50 *** empty log message ***
kono
parents: 320
diff changeset
281 editor.send(sendCommand);
319
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
282
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
283 //他のSessionManagerへSessionの追加を報告
212
e8f716498caf *** empty log message ***
pin
parents: 201
diff changeset
284 //親に送って、親から子へ
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
285 SessionXMLEncoder sessionEncoder = new SessionXMLEncoder(session);
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
286 REPCommand command = new REPCommand();
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
287 command.setSID(session.getSID());
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
288 command.setString(sessionEncoder.sessionListToXML());
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
289 command.setCMD(REP.SMCMD_UPDATE);
349
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
290 smList.sendToSlaves( command);
319
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
291
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
292 }
319
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
293
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
294 break;
319
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
295
317
c83a3faec487 *** empty log message ***
kono
parents: 316
diff changeset
296 // SELECT is no longer used in a editor. Select
c83a3faec487 *** empty log message ***
kono
parents: 316
diff changeset
297 // operation is handled in Session Manager Only
271
kono
parents: 267
diff changeset
298 case SMCMD_SELECT:
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
299 {
178
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
300 //他のSessionManagerをエディタとしてSessionに追加
319
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
301 Forwarder next = new Forwarder(this);
349
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
302 next.setChannel(channel.channel);
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
303 Session session = getSession(receivedCommand.sid);
319
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
304 session.addForwarder(next);
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
305
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
306 if(session.hasOwner()){
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
307 //このSessionManagerがオーナーを持っている場合、Sessionにエディタを追加し、エディタへAckを返す
316
77f443f6dc9f add session manager channel handler
kono
parents: 315
diff changeset
308 REPCommand sendCommand = new REPCommand(receivedCommand);
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
309 sendCommand.setCMD(REP.SMCMD_SELECT_ACK);
319
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
310 sendCommand.setEID(next.getEID());
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
311 next.send(sendCommand);
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
312 }else{
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
313 //オーナーを持ってない場合は、オーナーを持っているSessionManagerへSELECTコマンドを中継する
316
77f443f6dc9f add session manager channel handler
kono
parents: 315
diff changeset
314 Forwarder owner = session.getOwner();
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
315 owner.send(receivedCommand);
148
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
316 }
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
317 }
319
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
318
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
319 break;
319
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
320
271
kono
parents: 267
diff changeset
321 case SMCMD_SELECT_ACK:
160
6a5974dd0368 *** empty log message ***
pin
parents: 158
diff changeset
322 {
85
d5cd4d103eea *** empty log message ***
pin
parents: 84
diff changeset
323 String hostport = receivedCommand.string;
319
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
324 Forwarder editor1 = getEditor(hostport);
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
325
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
326 if(editor1 != null) {
160
6a5974dd0368 *** empty log message ***
pin
parents: 158
diff changeset
327 //host, port を見て、このコマンドが自分が送信したSelectコマンドのAckかどうかを判断する
6a5974dd0368 *** empty log message ***
pin
parents: 158
diff changeset
328 REPCommand command = new REPCommand();
6a5974dd0368 *** empty log message ***
pin
parents: 158
diff changeset
329 command.setCMD(REP.SMCMD_JOIN_ACK);
6a5974dd0368 *** empty log message ***
pin
parents: 158
diff changeset
330 command.setSID(receivedCommand.sid);
6a5974dd0368 *** empty log message ***
pin
parents: 158
diff changeset
331 command.setEID(receivedCommand.eid);
319
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
332 editor1.send(command);
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
333
85
d5cd4d103eea *** empty log message ***
pin
parents: 84
diff changeset
334 }else{
160
6a5974dd0368 *** empty log message ***
pin
parents: 158
diff changeset
335 //自分が送信したコマンドでなければ、次のSessionManagerへ中継する
349
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
336 smList.sendToSlaves(receivedCommand);
85
d5cd4d103eea *** empty log message ***
pin
parents: 84
diff changeset
337 }
160
6a5974dd0368 *** empty log message ***
pin
parents: 158
diff changeset
338 }
349
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
339
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
340 break;
271
kono
parents: 267
diff changeset
341 case SMCMD_SM_JOIN:
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
342
160
6a5974dd0368 *** empty log message ***
pin
parents: 158
diff changeset
343 {
349
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
344 // SM_JOIN中にSMCMD_SM_JOINが来たら、自分のSM_JOINを
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
345 // 取り消す。
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
346 if (smjoin_mode) cancel_sm_join();
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
347 // SMCMD_SM_JOIN は、master まで上昇する。
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
348 // masterでなければ、自分のparentに転送する。
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
349 if(smList.isMaster()) {
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
350 // master であれば、SessionManager IDを決めて、
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
351 // 自分のsmList に登録
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
352 int sid = smList.addNewSessionManager(receivedCommand);
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
353 //SessionListからXMLを生成。
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
354 //joinしてきたSessionManagerに対してACKを送信。
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
355 SessionXMLEncoder sessionlistEncoder = new SessionXMLEncoder(sessionList);
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
356 REPCommand sendCommand = new REPCommand();
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
357 sendCommand.setSID(sid); // new Session manager ID
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
358 // 複数のSM_JOIN_ACKを識別するには、最初にSM_JOINを受け付けた
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
359 // Session manager IDを使う。
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
360 sendCommand.setEID(receivedCommand.eid);
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
361 sendCommand.setCMD(REP.SMCMD_SM_JOIN_ACK);
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
362 sendCommand.setString(sessionlistEncoder.sessionListToXML());
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
363 smList.sendToSlaves(sendCommand);
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
364 break;
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
365 }
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
366 //
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
367
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
368 //XMLからSessionListオブジェクトを生成する。
349
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
369 //SessionList receivedSessionList = decoder.decode(receivedCommand.string);
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
370
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
371 //myHost を設定。
178
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
372 //立ち上げ時にやるとlocalhostしか取れない
349
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
373 if(myHost == null) setMyHostName(channel.getLocalHostName());
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
374
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
375 //maxHost を設定。
349
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
376 // if(setMaxHost(channel, receivedSessionList.getMaxHost())){
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
377 // REPCommand sendCommand = new REPCommand();
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
378 // sendCommand.setCMD(REP.SMCMD_CH_MASTER);
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
379 // sendCommand.setString(maxHost);
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
380 // smList.sendExcept(channel, sendCommand);
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
381 // }
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
382
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
383
160
6a5974dd0368 *** empty log message ***
pin
parents: 158
diff changeset
384 }
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
385 break;
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
386
271
kono
parents: 267
diff changeset
387 case SMCMD_SM_JOIN_ACK:
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
388
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
389 //XMLからSessionListオブジェクトを生成。
349
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
390 //SessionList receivedSessionList2 = decoder.decode(receivedCommand.string);
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
391
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
392 //maxHostを決定。
349
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
393 // if(setMaxHost(channel, receivedSessionList2.getMaxHost())){
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
394 // REPCommand sendCommand = new REPCommand();
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
395 // sendCommand.setCMD(REP.SMCMD_CH_MASTER);
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
396 // sendCommand.setString(maxHost);
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
397 // smList.sendExcept(channel, sendCommand);
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
398 // }
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
399
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
400
6
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
401 break;
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
402
271
kono
parents: 267
diff changeset
403 case SMCMD_UPDATE:
200
2f0a0448de6b *** empty log message ***
pin
parents: 199
diff changeset
404 {
346
edf0e0a5ffc8 *** empty log message ***
kono
parents: 343
diff changeset
405 SessionList receivedSessionList3 = decoder.decode(receivedCommand.string);
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
406
200
2f0a0448de6b *** empty log message ***
pin
parents: 199
diff changeset
407 //UPDATEコマンドにより送られてきたSessionの情報を追加する
2f0a0448de6b *** empty log message ***
pin
parents: 199
diff changeset
408 LinkedList<Session> list = receivedSessionList3.getList();
2f0a0448de6b *** empty log message ***
pin
parents: 199
diff changeset
409 for(Session session : list){
349
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
410 session.getEditorList().get(0).setChannel(channel.channel);
200
2f0a0448de6b *** empty log message ***
pin
parents: 199
diff changeset
411 sessionList.add(session);
2f0a0448de6b *** empty log message ***
pin
parents: 199
diff changeset
412 }
2f0a0448de6b *** empty log message ***
pin
parents: 199
diff changeset
413
2f0a0448de6b *** empty log message ***
pin
parents: 199
diff changeset
414 //他のSessionManagerへ中継する
349
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
415 smList.sendToSlaves(receivedCommand);
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
416
320
83790b8b8174 *** empty log message ***
kono
parents: 319
diff changeset
417 updateGUI();
200
2f0a0448de6b *** empty log message ***
pin
parents: 199
diff changeset
418 }
9
2d4c2c19d2d0 *** empty log message ***
pin
parents: 8
diff changeset
419 break;
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
420
271
kono
parents: 267
diff changeset
421 case SMCMD_UPDATE_ACK:
200
2f0a0448de6b *** empty log message ***
pin
parents: 199
diff changeset
422 {
319
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
423 if(!hasSession(receivedCommand.sid)) {
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
424 // accept new Session
322
5893fd8c0f50 *** empty log message ***
kono
parents: 320
diff changeset
425 // ここで初めてsession id が決まる。
5893fd8c0f50 *** empty log message ***
kono
parents: 320
diff changeset
426 // このコマンドは、master session manager が出すはず
320
83790b8b8174 *** empty log message ***
kono
parents: 319
diff changeset
427 Forwarder sm = new Forwarder(this);
349
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
428 sm.setChannel(channel.channel);
320
83790b8b8174 *** empty log message ***
kono
parents: 319
diff changeset
429 Session session = new Session(receivedCommand.sid,receivedCommand.string,null);
83790b8b8174 *** empty log message ***
kono
parents: 319
diff changeset
430 session.addForwarder(sm);
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
431
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
432 sessionList.add(session);
200
2f0a0448de6b *** empty log message ***
pin
parents: 199
diff changeset
433
320
83790b8b8174 *** empty log message ***
kono
parents: 319
diff changeset
434 updateGUI();
73
4d887f38284b *** empty log message ***
pin
parents: 72
diff changeset
435 }
349
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
436 smList.sendToSlaves(receivedCommand);
200
2f0a0448de6b *** empty log message ***
pin
parents: 199
diff changeset
437 }
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
438 break;
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
439
349
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
440 // case SMCMD_CH_MASTER:
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
441 // {
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
442 // //maxHost を設定。
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
443 // if(setMaxHost(channel, receivedCommand.string)){
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
444 // REPCommand sendCommand = new REPCommand();
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
445 // sendCommand.setCMD(REP.SMCMD_CH_MASTER);
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
446 // sendCommand.setString(maxHost);
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
447 // smList.sendExcept(channel, sendCommand);
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
448 // }
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
449 // }
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
450 // break;
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
451
319
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
452
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
453 default:
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
454 return false;
300
8f6b7a1890b2 *** empty log message ***
kono
parents: 296
diff changeset
455 }
319
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
456 return true;
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
457 }
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
458
349
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
459 private void cancel_sm_join() {
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
460 smjoin_mode=false;
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
461 }
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
462
320
83790b8b8174 *** empty log message ***
kono
parents: 319
diff changeset
463
319
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
464 private boolean hasSession(int sid) {
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
465 for(Session s:sessionList) {
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
466 if (s.getSID()==sid) return true;
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
467 }
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
468 return false;
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
469 }
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
470
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
471
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
472 void updateGUI() {
212
e8f716498caf *** empty log message ***
pin
parents: 201
diff changeset
473 //リストのコピーをGUIに渡す
e8f716498caf *** empty log message ***
pin
parents: 201
diff changeset
474 LinkedList<Session> sList = new LinkedList<Session>(sessionList);
e8f716498caf *** empty log message ***
pin
parents: 201
diff changeset
475 LinkedList<Editor> eList = new LinkedList<Editor>(editorList);
e8f716498caf *** empty log message ***
pin
parents: 201
diff changeset
476 //GUIに反映
e8f716498caf *** empty log message ***
pin
parents: 201
diff changeset
477 Runnable doRun = new DoGUIUpdate(sList, eList, gui);
279
e58695b5118d *** empty log message ***
kono
parents: 274
diff changeset
478 gui.invokeLater(doRun);
212
e8f716498caf *** empty log message ***
pin
parents: 201
diff changeset
479 }
e8f716498caf *** empty log message ***
pin
parents: 201
diff changeset
480
319
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
481 Forwarder getEditor(String hostport) {
178
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
482 for(Editor editor : editorList){
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
483 if(editor.getHost() == hostport){
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
484 return editor;
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
485 }
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
486 }
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
487 return null;
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
488 }
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
489
316
77f443f6dc9f add session manager channel handler
kono
parents: 315
diff changeset
490 public Session getSession(int sid) throws IOException {
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
491 for(Session session : sessionList){
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
492 if(session.getSID() == sid) return session;
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
493 }
316
77f443f6dc9f add session manager channel handler
kono
parents: 315
diff changeset
494 throw new IOException();
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
495 }
83
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
496
349
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
497 // private boolean setMaxHost(REPSocketChannel<REPCommand> channel, String maxHost2) {
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
498 // if(maxHost.compareTo(maxHost2) > 0){
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
499 // return false;
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
500 // }else{
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
501 // maxHost = maxHost2;
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
502 // return true;
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
503 // }
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
504 // }
139
d6b94713cf45 *** empty log message ***
pin
parents: 133
diff changeset
505
76
97ca5f5447cd *** empty log message ***
pin
parents: 75
diff changeset
506 private void setMyHostName(String localHostName) {
308
c5be84d53c7f *** empty log message ***
kono
parents: 304
diff changeset
507 myHost = localHostName + receive_port;
349
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
508 // if(maxHost == null) {
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
509 // maxHost = myHost;
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
510 // }
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
511 setHostToEditor(myHost);
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
512 }
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
513
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
514 private void setHostToEditor(String myHost2) {
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
515 for(Editor editor : editorList){
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
516 editor.setHost(myHost2);
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
517 }
76
97ca5f5447cd *** empty log message ***
pin
parents: 75
diff changeset
518 }
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
519
178
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
520 public void connectSession(String host) {
334
4fae49280699 Test pattern for Inter-Session Manager communication
kono
parents: 332
diff changeset
521 int port = parent_port;
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
522 InetSocketAddress addr = new InetSocketAddress(host, port);
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
523 try {
186
d22384c0026c *** empty log message ***
kent
parents: 185
diff changeset
524 REPSocketChannel<REPCommand> sessionchannel = REPSocketChannel.<REPCommand>create(new REPCommandPacker());
349
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
525
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
526 sessionchannel.connect(addr);
337
5ba5b7a9761b use REPLogger
kono
parents: 336
diff changeset
527 while(!sessionchannel.finishConnect());
349
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
528 Forwarder sm = new Forwarder(this);
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
529 registerChannel(sessionchannel, SelectionKey.OP_READ,sm);
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
530 sm_join(sm);
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
531 }catch (IOException e) {
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
532 }
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
533 }
77
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
534
349
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
535 private void sm_join(Forwarder channel){
352
39223c6ef689 *** empty log message ***
kono
parents: 349
diff changeset
536 smjoin_mode = true;
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
537 //SM_JOINコマンドを生成。
77
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
538 REPCommand command = new REPCommand();
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
539 command.setCMD(REP.SMCMD_SM_JOIN);
349
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
540 command.setEID(-1); // request Parent SessionManagerID
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
541 command.setSID(-1); // request SessionManagerID
79
d1877cfd131d *** empty log message ***
pin
parents: 78
diff changeset
542
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
543 //hostnameをセット。
349
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
544 setMyHostName(channel.getLocalHostName());
82
4bb583553a42 *** empty log message ***
pin
parents: 81
diff changeset
545
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
546 //XMLを生成。送信コマンドにセット。
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
547 SessionXMLEncoder encoder = new SessionXMLEncoder(sessionList);
77
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
548 String string = encoder.sessionListToXML();
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
549 command.setString(string);
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
550
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
551 //SM_JOINコマンドを送信。
349
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
552 channel.send(command);
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
553 //SessionManagerのListに追加。
349
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
554
77
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
555 }
349
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
556
316
77f443f6dc9f add session manager channel handler
kono
parents: 315
diff changeset
557 public void selectSession(SelectButtonEvent event) throws IOException {
250
5f357ca66714 *** empty log message ***
pin
parents: 246
diff changeset
558 int sid = event.getSID();
164
3841cc75b808 *** empty log message ***
pin
parents: 163
diff changeset
559 Session session = getSession(sid);
227
cbd67817e9cd *** empty log message ***
pin
parents: 224
diff changeset
560
320
83790b8b8174 *** empty log message ***
kono
parents: 319
diff changeset
561 Editor editor = (Editor)event.getEditor();
227
cbd67817e9cd *** empty log message ***
pin
parents: 224
diff changeset
562 if(editor == null){
337
5ba5b7a9761b use REPLogger
kono
parents: 336
diff changeset
563 logger.writeLog("SessionManager.selectSession():editor = " + editor);
227
cbd67817e9cd *** empty log message ***
pin
parents: 224
diff changeset
564 return;
cbd67817e9cd *** empty log message ***
pin
parents: 224
diff changeset
565 }
324
e235998427a6 try to fix merger
kono
parents: 323
diff changeset
566 if (editor.hasSession()) return;
349
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
567 //REPSocketChannel<REPCommand> channel = editor.getChannel();
319
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
568
324
e235998427a6 try to fix merger
kono
parents: 323
diff changeset
569 // System.out.println("SessionManager.session.hasOnwer="+session.hasOwner());
158
5cc8cd48bded *** empty log message ***
pin
parents: 155
diff changeset
570 if(session.hasOwner()){
320
83790b8b8174 *** empty log message ***
kono
parents: 319
diff changeset
571 editor.setEID(session.newEid());
322
5893fd8c0f50 *** empty log message ***
kono
parents: 320
diff changeset
572 editor.setSID(sid);
319
dfed28488274 *** empty log message ***
kono
parents: 318
diff changeset
573 session.addForwarder(editor);
107
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
574 REPCommand sendCommand = new REPCommand();
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
575 sendCommand.setCMD(REP.SMCMD_JOIN_ACK);
148
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
576 sendCommand.setEID(editor.getEID());
107
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
577 sendCommand.setSID(sid);
286
30c993e89286 TestEditor
kono
parents: 281
diff changeset
578 sendCommand.string = "";
349
ef4afcae0c92 now Forwarder associates each client channel.
kono
parents: 347
diff changeset
579 editor.send(sendCommand);
107
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
580 }else {
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
581 editor.setHost(myHost);
322
5893fd8c0f50 *** empty log message ***
kono
parents: 320
diff changeset
582 editor.setSID(sid);
320
83790b8b8174 *** empty log message ***
kono
parents: 319
diff changeset
583 session.addEditor(editor);
316
77f443f6dc9f add session manager channel handler
kono
parents: 315
diff changeset
584 Forwarder owner = session.getOwner();
107
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
585
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
586 REPCommand command = new REPCommand();
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
587 command.setCMD(REP.SMCMD_SELECT);
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
588 command.setSID(sid);
178
a097b1d619a1 *** empty log message ***
pin
parents: 173
diff changeset
589 command.setString(editor.getHost());
107
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
590 owner.send(command);
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
591 }
8
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
592 }
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
593
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
594 public void addWaitingCommand(PacketSet set) {
212
e8f716498caf *** empty log message ***
pin
parents: 201
diff changeset
595 waitingCommandInMerge.add(set);
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
596 }
148
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
597
222
18d6a7140fa3 *** empty log message ***
pin
parents: 215
diff changeset
598 public void buttonPressed(SessionManagerEvent event) {
18d6a7140fa3 *** empty log message ***
pin
parents: 215
diff changeset
599 try {
308
c5be84d53c7f *** empty log message ***
kono
parents: 304
diff changeset
600 waitingEventQueue.put(event);
222
18d6a7140fa3 *** empty log message ***
pin
parents: 215
diff changeset
601 } catch (InterruptedException e) {}
18d6a7140fa3 *** empty log message ***
pin
parents: 215
diff changeset
602 selector.wakeup();
18d6a7140fa3 *** empty log message ***
pin
parents: 215
diff changeset
603 }
281
c3969dd625b2 GUIless test routine.
kono
parents: 280
diff changeset
604
c3969dd625b2 GUIless test routine.
kono
parents: 280
diff changeset
605 public void syncExec(SessionManagerEvent event) {
c3969dd625b2 GUIless test routine.
kono
parents: 280
diff changeset
606 try {
308
c5be84d53c7f *** empty log message ***
kono
parents: 304
diff changeset
607 waitingEventQueue.put(event);
281
c3969dd625b2 GUIless test routine.
kono
parents: 280
diff changeset
608 } catch (InterruptedException e) {
c3969dd625b2 GUIless test routine.
kono
parents: 280
diff changeset
609 }
c3969dd625b2 GUIless test routine.
kono
parents: 280
diff changeset
610 }
222
18d6a7140fa3 *** empty log message ***
pin
parents: 215
diff changeset
611
259
9e36fd27e2b6 *** empty log message ***
pin
parents: 258
diff changeset
612 public void closeSession(SessionManagerEvent event) {
9e36fd27e2b6 *** empty log message ***
pin
parents: 258
diff changeset
613 Session session = ((CloseButtonEvent) event).getSession();
9e36fd27e2b6 *** empty log message ***
pin
parents: 258
diff changeset
614 session.closeSession();
9e36fd27e2b6 *** empty log message ***
pin
parents: 258
diff changeset
615 sessionList.remove(session);
9e36fd27e2b6 *** empty log message ***
pin
parents: 258
diff changeset
616 updateGUI();
9e36fd27e2b6 *** empty log message ***
pin
parents: 258
diff changeset
617 }
9e36fd27e2b6 *** empty log message ***
pin
parents: 258
diff changeset
618
274
ad487e63e3c8 *** empty log message ***
kono
parents: 271
diff changeset
619 public void remove(REPSocketChannel<REPCommand> channel) {
ad487e63e3c8 *** empty log message ***
kono
parents: 271
diff changeset
620 for(Session s:sessionList) {
ad487e63e3c8 *** empty log message ***
kono
parents: 271
diff changeset
621 if (s.deleteEditor(channel)) {
ad487e63e3c8 *** empty log message ***
kono
parents: 271
diff changeset
622 return ;
ad487e63e3c8 *** empty log message ***
kono
parents: 271
diff changeset
623 }
ad487e63e3c8 *** empty log message ***
kono
parents: 271
diff changeset
624 }
ad487e63e3c8 *** empty log message ***
kono
parents: 271
diff changeset
625 assert(false);
ad487e63e3c8 *** empty log message ***
kono
parents: 271
diff changeset
626 // can be other session manager? what should I do?
ad487e63e3c8 *** empty log message ***
kono
parents: 271
diff changeset
627 }
ad487e63e3c8 *** empty log message ***
kono
parents: 271
diff changeset
628
317
c83a3faec487 *** empty log message ***
kono
parents: 316
diff changeset
629
c83a3faec487 *** empty log message ***
kono
parents: 316
diff changeset
630 public void addWriteQueue(PacketSet packetSet) {
324
e235998427a6 try to fix merger
kono
parents: 323
diff changeset
631 writeQueue.addLast(packetSet);
323
1e605880d49e *** empty log message ***
kono
parents: 322
diff changeset
632 assert(writeQueue.size()<packetLimit) ;
317
c83a3faec487 *** empty log message ***
kono
parents: 316
diff changeset
633 }
c83a3faec487 *** empty log message ***
kono
parents: 316
diff changeset
634
318
dc57e24ea3df *** empty log message ***
kono
parents: 317
diff changeset
635
dc57e24ea3df *** empty log message ***
kono
parents: 317
diff changeset
636 public void remove(Editor editor) {
341
a9a740e685fa remove session using QUIT_2_ACK
kono
parents: 337
diff changeset
637 Session s0 = null;
a9a740e685fa remove session using QUIT_2_ACK
kono
parents: 337
diff changeset
638 editorList.remove(editor);
318
dc57e24ea3df *** empty log message ***
kono
parents: 317
diff changeset
639 for(Session s:sessionList) {
341
a9a740e685fa remove session using QUIT_2_ACK
kono
parents: 337
diff changeset
640 if (s.deleteForwarder(editor)) {
a9a740e685fa remove session using QUIT_2_ACK
kono
parents: 337
diff changeset
641 if (editor.getEID()==0) s0=s;
a9a740e685fa remove session using QUIT_2_ACK
kono
parents: 337
diff changeset
642 }
318
dc57e24ea3df *** empty log message ***
kono
parents: 317
diff changeset
643 }
341
a9a740e685fa remove session using QUIT_2_ACK
kono
parents: 337
diff changeset
644 if (s0!=null) removeSession(s0);
a9a740e685fa remove session using QUIT_2_ACK
kono
parents: 337
diff changeset
645 updateGUI();
a9a740e685fa remove session using QUIT_2_ACK
kono
parents: 337
diff changeset
646 }
a9a740e685fa remove session using QUIT_2_ACK
kono
parents: 337
diff changeset
647
a9a740e685fa remove session using QUIT_2_ACK
kono
parents: 337
diff changeset
648 private void removeSession(Session s0) {
a9a740e685fa remove session using QUIT_2_ACK
kono
parents: 337
diff changeset
649 sessionList.remove(s0);
a9a740e685fa remove session using QUIT_2_ACK
kono
parents: 337
diff changeset
650 // send UPDATE to all the session manager
318
dc57e24ea3df *** empty log message ***
kono
parents: 317
diff changeset
651 }
dc57e24ea3df *** empty log message ***
kono
parents: 317
diff changeset
652
334
4fae49280699 Test pattern for Inter-Session Manager communication
kono
parents: 332
diff changeset
653 public void setParentPort(int port) {
4fae49280699 Test pattern for Inter-Session Manager communication
kono
parents: 332
diff changeset
654 parent_port = port;
4fae49280699 Test pattern for Inter-Session Manager communication
kono
parents: 332
diff changeset
655 }
4fae49280699 Test pattern for Inter-Session Manager communication
kono
parents: 332
diff changeset
656 public int getParentPort() {
4fae49280699 Test pattern for Inter-Session Manager communication
kono
parents: 332
diff changeset
657 return parent_port;
4fae49280699 Test pattern for Inter-Session Manager communication
kono
parents: 332
diff changeset
658 }
4fae49280699 Test pattern for Inter-Session Manager communication
kono
parents: 332
diff changeset
659
4fae49280699 Test pattern for Inter-Session Manager communication
kono
parents: 332
diff changeset
660 public int getPort() {
4fae49280699 Test pattern for Inter-Session Manager communication
kono
parents: 332
diff changeset
661 return receive_port;
4fae49280699 Test pattern for Inter-Session Manager communication
kono
parents: 332
diff changeset
662 }
4fae49280699 Test pattern for Inter-Session Manager communication
kono
parents: 332
diff changeset
663
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
664 }