annotate rep/SessionManager.java @ 148:6a5fe529b192

*** empty log message ***
author pin
date Thu, 28 Aug 2008 00:11:30 +0900
parents 20beee6ca31a
children 2ce1a378da85
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
1 package rep;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
2
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
3 import java.io.IOException;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
4 import java.net.InetSocketAddress;
11
167694db4796 *** empty log message ***
pin
parents: 10
diff changeset
5 import java.net.SocketAddress;
111
fe8306c6c8bf *** empty log message ***
pin
parents: 109
diff changeset
6 import java.nio.ByteBuffer;
fe8306c6c8bf *** empty log message ***
pin
parents: 109
diff changeset
7 import java.nio.CharBuffer;
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
8 import java.nio.channels.SelectableChannel;
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
9 import java.nio.channels.SelectionKey;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
10 import java.nio.channels.Selector;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
11 import java.nio.channels.ServerSocketChannel;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
12 import java.nio.channels.SocketChannel;
111
fe8306c6c8bf *** empty log message ***
pin
parents: 109
diff changeset
13 import java.nio.charset.CharacterCodingException;
fe8306c6c8bf *** empty log message ***
pin
parents: 109
diff changeset
14 import java.nio.charset.Charset;
fe8306c6c8bf *** empty log message ***
pin
parents: 109
diff changeset
15 import java.nio.charset.CharsetEncoder;
83
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
16 import java.util.LinkedList;
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
17 import java.util.List;
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
18 import java.util.Set;
15
78c211017d3d *** empty log message ***
pin
parents: 14
diff changeset
19 import java.util.StringTokenizer;
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
20
123
5b1a0574b406 *** empty log message ***
pin
parents: 122
diff changeset
21 import rep.channel.REPServerSocketChannel;
133
8dce4348966c *** empty log message ***
kono
parents: 124
diff changeset
22 import rep.channel.REPSocketChannel;
146
20beee6ca31a *** empty log message ***
pin
parents: 144
diff changeset
23 import rep.channel.SelectionKeySimulator;
20beee6ca31a *** empty log message ***
pin
parents: 144
diff changeset
24 import rep.channel.SelectorSimulator;
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
25 import rep.handler.PacketSet;
146
20beee6ca31a *** empty log message ***
pin
parents: 144
diff changeset
26 import rep.handler.REPHandler;
148
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
27 import rep.handler.REPHandlerImpl;
123
5b1a0574b406 *** empty log message ***
pin
parents: 122
diff changeset
28 import rep.simulator.REPSelector;
56
6ead43b2475e *** empty log message ***
pin
parents: 53
diff changeset
29 import rep.xml.SessionXMLDecoder;
45
10f1adf6d74d *** empty log message ***
pin
parents: 39
diff changeset
30 import rep.xml.SessionXMLEncoder;
10f1adf6d74d *** empty log message ***
pin
parents: 39
diff changeset
31
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
32 //+-------+--------+--------+-------+--------+---------+------+
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
33 //| cmd | session| editor | seqid | lineno | textsiz | text |
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
34 //| | id | id | | | | |
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
35 //+-------+--------+--------+-------+--------+---------+------+
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
36 //o-------header section (network order)-------------o
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
37 /*int cmd; // command
101
612cb62151ce *** empty log message ***
pin
parents: 100
diff changeset
38 int sid; // session ID : uniqu to editing file
123
5b1a0574b406 *** empty log message ***
pin
parents: 122
diff changeset
39 int eid; // editor ID : owner editor ID = 1。Session に対して unique
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
40 int seqno; // Sequence number : sequence number はエディタごとに管理
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
41 int lineno; // line number
101
612cb62151ce *** empty log message ***
pin
parents: 100
diff changeset
42 int textsize; // textsize : bytesize
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
43 byte[] text;*/
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
44
8
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
45 public class SessionManager implements ConnectionListener, REPActionListener{
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
46
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
47
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
48 private SessionList sessionlist;
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
49 private List<Session> sessionList;
83
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
50 private SessionManagerGUI gui;
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
51 private Selector selector;
7
5067a6a93d01 *** empty log message ***
pin
parents: 6
diff changeset
52 private SessionManagerList smList;
17
806e34a6fecd *** empty log message ***
pin
parents: 16
diff changeset
53 private String myHost;
21
2d4bab638a71 *** empty log message ***
pin
parents: 19
diff changeset
54 private boolean isMaster = true;
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
55 private EditorList ownEditorList;
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
56 private List<Editor> editorList;
78
8a4f92f31c58 *** empty log message ***
pin
parents: 77
diff changeset
57 private String maxHost;
148
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
58 private boolean isSimulation;
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
59 //private Set<SelectionKey> sessionList;
95
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
60 private static int temp_port;
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
61 private static int send_port;
101
612cb62151ce *** empty log message ***
pin
parents: 100
diff changeset
62
612cb62151ce *** empty log message ***
pin
parents: 100
diff changeset
63 static final int DEFAULT_PORT = 8766;
612cb62151ce *** empty log message ***
pin
parents: 100
diff changeset
64
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
65 public SessionManager(int port) {
83
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
66 gui = new SessionManagerGUI();
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
67 }
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
68
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
69 public void openSelector() throws IOException{
123
5b1a0574b406 *** empty log message ***
pin
parents: 122
diff changeset
70 selector = REPSelector.open();
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
71 }
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
72
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
73 public void mainLoop(int port) throws InterruptedException, IOException {
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
74
148
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
75 REPServerSocketChannel<REPCommand> ssc = REPServerSocketChannel.<REPCommand>open();
123
5b1a0574b406 *** empty log message ***
pin
parents: 122
diff changeset
76
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
77 ssc.configureBlocking(false); //reuse address 必須
101
612cb62151ce *** empty log message ***
pin
parents: 100
diff changeset
78
612cb62151ce *** empty log message ***
pin
parents: 100
diff changeset
79 ssc.socket().setReuseAddress(true);
612cb62151ce *** empty log message ***
pin
parents: 100
diff changeset
80
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
81 ssc.socket().bind(new InetSocketAddress(port));
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
82 ssc.register(selector, SelectionKey.OP_ACCEPT);
6
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
83
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
84
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
85 sessionlist = new SessionList();
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
86 sessionList = new LinkedList<Session>();
7
5067a6a93d01 *** empty log message ***
pin
parents: 6
diff changeset
87 smList = new SessionManagerList();
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
88 ownEditorList = new EditorList();
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
89 editorList = new LinkedList<Editor>();
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
90
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
91 while(true){
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
92 selector.select();
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
93 select();
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
94 }
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
95 }
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
96
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
97 private void select() throws IOException {
148
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
98 for(SelectionKey key : selector.selectedKeys()){
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
99 if(key.isAcceptable()){
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
100 /*** serverChannelはenableになったSelectionKeyのchannel ***/
146
20beee6ca31a *** empty log message ***
pin
parents: 144
diff changeset
101 REPServerSocketChannel serverChannel = (REPServerSocketChannel)key.channel();
20beee6ca31a *** empty log message ***
pin
parents: 144
diff changeset
102 REPSocketChannel channel = serverChannel.accept(); //keyからchannelを取って、accept
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
103 registerChannel (selector, channel, SelectionKey.OP_READ);
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
104 channel = null;
123
5b1a0574b406 *** empty log message ***
pin
parents: 122
diff changeset
105
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
106 }else if(key.isReadable()){
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
107
146
20beee6ca31a *** empty log message ***
pin
parents: 144
diff changeset
108 // REPSocketChannel<REPCommand> channel = (REPSocketChannel<REPCommand>)key.channel();
20beee6ca31a *** empty log message ***
pin
parents: 144
diff changeset
109 // REPPacketReceive receive = new REPPacketReceive(channel);
20beee6ca31a *** empty log message ***
pin
parents: 144
diff changeset
110 // receive.setkey(key);
20beee6ca31a *** empty log message ***
pin
parents: 144
diff changeset
111 // REPCommand receivedCommand = receive.unpackUConv();
20beee6ca31a *** empty log message ***
pin
parents: 144
diff changeset
112 // manage(channel, receivedCommand);
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
113
146
20beee6ca31a *** empty log message ***
pin
parents: 144
diff changeset
114 REPHandler handler = (REPHandler)key.attachment();
20beee6ca31a *** empty log message ***
pin
parents: 144
diff changeset
115 handler.handle(key);
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
116
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
117 }else if(key.isConnectable()){
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
118 System.out.println("Connectable");
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
119 }
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
120 }
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
121 }
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
122
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
123 private synchronized void registerChannel(Selector selector, SelectableChannel channel, int ops) throws IOException {
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
124 if(channel == null) {
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
125 return;
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
126 }
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
127 channel.configureBlocking(false);
6
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
128 selector.wakeup();
148
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
129 REPHandler handler = new REPHandlerImpl(this);
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
130 //channel.register(selector, ops);
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
131 channel.register(selector, ops, handler);
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
132 }
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
133
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
134 public void manage(REPSocketChannel<REPCommand> channel, REPCommand receivedCommand) {
75
a636b651dbce *** empty log message ***
pin
parents: 74
diff changeset
135 if(receivedCommand == null) return;
69
9dd7471b771a *** empty log message ***
pin
parents: 68
diff changeset
136 Session session;
141
6f15a8880ed8 *** empty log message ***
pin
parents: 140
diff changeset
137 REPCommand sendCommand = new REPCommand(receivedCommand);
78
8a4f92f31c58 *** empty log message ***
pin
parents: 77
diff changeset
138 REPPacketSend send = new REPPacketSend(channel);
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
139
75
a636b651dbce *** empty log message ***
pin
parents: 74
diff changeset
140 switch(receivedCommand.cmd){
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
141
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
142 case REP.SMCMD_JOIN:
83
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
143
148
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
144 if(isSimulation){
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
145 editorList.add(new Editor(editorList.size(), channel));
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
146
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
147 }else{
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
148 Editor editor = new Editor(channel);
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
149 editor.setHost(myHost);
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
150 int tempeid = ownEditorList.addEditor(editor);
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
151 gui.setComboEditor(tempeid, channel);
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
152 }
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
153
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
154
38
de8638eb0edd *** empty log message ***
pin
parents: 31
diff changeset
155 break;
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
156
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
157 case REP.SMCMD_JOIN_ACK:
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
158
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
159 break;
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
160
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
161 case REP.SMCMD_PUT:
148
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
162
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
163 if(isSimulation){
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
164 //エディタのリストに追加
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
165 editorList.add(new Editor(editorList.size(), channel));
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
166 //Sessionを生成
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
167 int sid = sessionList.size();
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
168 sessionList.add(new Session(sid, new Editor(0, channel)));
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
169
148
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
170 }else{
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
171 Editor editor = new Editor(channel);
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
172 editor.setHost(myHost);
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
173 ownEditorList.addEditor(editor);
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
174 editor.setEID(1);
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
175 editor.setName(receivedCommand.string);
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
176 session = new Session(editor);
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
177 session.setOwner(true);
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
178 session.addEditor(editor);
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
179 sessionlist.addSession(session);
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
180 gui.setComboSession(session.getSID(), session.getName());
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
181 gui.setComboEditor(editor.getEID(), editor.getChannel());
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
182 session.addToRoutingTable(editor);
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
183 sendCommand.setCMD(REP.SMCMD_PUT_ACK);
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
184 sendCommand.setEID(1);
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
185 sendCommand.setSID(session.getSID());
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
186 editor.send(sendCommand);
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
187
148
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
188 SessionXMLEncoder sessionEncoder = new SessionXMLEncoder(session);
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
189 REPCommand command = new REPCommand();
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
190 command.setSID(session.getSID());
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
191 command.setString(sessionEncoder.sessionListToXML());
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
192
148
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
193 command.setCMD(REP.SMCMD_UPDATE);
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
194 smList.sendExcept(channel, command);
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
195 }
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
196
148
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
197
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
198
38
de8638eb0edd *** empty log message ***
pin
parents: 31
diff changeset
199 break;
133
8dce4348966c *** empty log message ***
kono
parents: 124
diff changeset
200
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
201 case REP.SMCMD_SELECT:
94
2830eb33d4d3 *** empty log message ***
pin
parents: 93
diff changeset
202
148
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
203 if(isSimulation){
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
204 Editor editor = getEditor(channel);
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
205 sessionList.get(receivedCommand.sid).addEditor(editor);
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
206
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
207 }else{
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
208 Editor editor = new Editor(channel);
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
209 session = sessionlist.getSession(receivedCommand.sid);
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
210 if(session.isOwner()){
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
211 session.addEditor(editor);
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
212 sendCommand.setCMD(REP.SMCMD_SELECT_ACK);
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
213 sendCommand.setEID(editor.getEID());
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
214 send.send(sendCommand);
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
215 }else {
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
216 Editor master = session.getMaster();
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
217 master.send(receivedCommand);
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
218 session.addEditor(editor);
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
219 }
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
220
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
221 }
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
222
8
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
223 break;
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
224
8
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
225 case REP.SMCMD_SELECT_ACK:
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
226
85
d5cd4d103eea *** empty log message ***
pin
parents: 84
diff changeset
227 String hostport = receivedCommand.string;
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
228 Editor editor2 = ownEditorList.getEditor(hostport);
85
d5cd4d103eea *** empty log message ***
pin
parents: 84
diff changeset
229 if(editor2 != null) {
d5cd4d103eea *** empty log message ***
pin
parents: 84
diff changeset
230 REPCommand command2 = new REPCommand();
d5cd4d103eea *** empty log message ***
pin
parents: 84
diff changeset
231 command2.setCMD(REP.SMCMD_JOIN_ACK);
93
1a5b3c2b2268 *** empty log message ***
pin
parents: 92
diff changeset
232 command2.setSID(receivedCommand.sid);
85
d5cd4d103eea *** empty log message ***
pin
parents: 84
diff changeset
233 command2.setEID(receivedCommand.eid);
d5cd4d103eea *** empty log message ***
pin
parents: 84
diff changeset
234 editor2.send(command2);
d5cd4d103eea *** empty log message ***
pin
parents: 84
diff changeset
235 }else{
d5cd4d103eea *** empty log message ***
pin
parents: 84
diff changeset
236 smList.sendExcept(channel, receivedCommand);
d5cd4d103eea *** empty log message ***
pin
parents: 84
diff changeset
237 }
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
238
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
239 break;
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
240
8
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
241 case REP.SMCMD_SM_JOIN:
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
242
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
243 //SessionManagerのリストへ追加
83
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
244 smList.add(channel);
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
245
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
246 //XMLからSessionListオブジェクトを生成する。
77
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
247 SessionXMLDecoder decoder = new SessionXMLDecoder();
79
d1877cfd131d *** empty log message ***
pin
parents: 78
diff changeset
248 SessionList receivedSessionList = decoder.decode(receivedCommand.string);
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
249
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
250 //SessionListへ追加し変換テーブルを生成する。
83
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
251 sessionlist.update(channel, receivedSessionList);
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
252
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
253 //myHost を設定。
76
97ca5f5447cd *** empty log message ***
pin
parents: 75
diff changeset
254 if(myHost == null) setMyHostName(getLocalHostName(channel));
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
255
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
256 //maxHost を設定。
95
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
257 if(setMaxHost(channel, receivedSessionList.getMaxHost())){
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
258 sendCommand = new REPCommand();
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
259 sendCommand.setCMD(REP.SMCMD_CH_MASTER);
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
260 sendCommand.setString(maxHost);
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
261 smList.sendExcept(channel, sendCommand);
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
262 }
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
263
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
264 //SessionListからXMLを生成。
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
265 //joinしてきたSessionManagerに対してACKを送信。
78
8a4f92f31c58 *** empty log message ***
pin
parents: 77
diff changeset
266 SessionXMLEncoder sessionlistEncoder = new SessionXMLEncoder(sessionlist);
8a4f92f31c58 *** empty log message ***
pin
parents: 77
diff changeset
267 sendCommand = new REPCommand();
8a4f92f31c58 *** empty log message ***
pin
parents: 77
diff changeset
268 sendCommand.setCMD(REP.SMCMD_SM_JOIN_ACK);
8a4f92f31c58 *** empty log message ***
pin
parents: 77
diff changeset
269 sendCommand.setString(sessionlistEncoder.sessionListToXML());
8a4f92f31c58 *** empty log message ***
pin
parents: 77
diff changeset
270 send.send(sendCommand);
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
271
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
272 //その他の SessionManager に対して SMCMD_UPDATEを 送信。
78
8a4f92f31c58 *** empty log message ***
pin
parents: 77
diff changeset
273 sendCommand = new REPCommand();
83
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
274 sendCommand.setCMD(REP.SMCMD_UPDATE);
78
8a4f92f31c58 *** empty log message ***
pin
parents: 77
diff changeset
275 sendCommand.setString(receivedCommand.string);
8a4f92f31c58 *** empty log message ***
pin
parents: 77
diff changeset
276 smList.sendExcept(channel, sendCommand);
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
277
31
593f915dd6ff for JOIN and PUT Testing
pin
parents: 30
diff changeset
278 if(isMaster){
45
10f1adf6d74d *** empty log message ***
pin
parents: 39
diff changeset
279 }else {
31
593f915dd6ff for JOIN and PUT Testing
pin
parents: 30
diff changeset
280 }
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
281
8
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
282 break;
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
283
8
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
284 case REP.SMCMD_SM_JOIN_ACK:
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
285
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
286 //XMLからSessionListオブジェクトを生成。
82
4bb583553a42 *** empty log message ***
pin
parents: 81
diff changeset
287 SessionXMLDecoder decoder2 = new SessionXMLDecoder();
4bb583553a42 *** empty log message ***
pin
parents: 81
diff changeset
288 SessionList receivedSessionList2 = decoder2.decode(receivedCommand.string);
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
289
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
290 //maxHostを決定。
95
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
291 if(setMaxHost(channel, receivedSessionList2.getMaxHost())){
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
292 sendCommand = new REPCommand();
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
293 sendCommand.setCMD(REP.SMCMD_CH_MASTER);
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
294 sendCommand.setString(maxHost);
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
295 smList.sendExcept(channel, sendCommand);
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
296 }
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
297
38
de8638eb0edd *** empty log message ***
pin
parents: 31
diff changeset
298 if(isMaster){
39
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
299 }else{
38
de8638eb0edd *** empty log message ***
pin
parents: 31
diff changeset
300 }
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
301
6
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
302 break;
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
303
8
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
304 case REP.SMCMD_UPDATE:
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
305
99
2f79cdc45a2e *** empty log message ***
pin
parents: 98
diff changeset
306 SessionXMLDecoder decoder3 = new SessionXMLDecoder();
2f79cdc45a2e *** empty log message ***
pin
parents: 98
diff changeset
307 SessionList receivedSessionList3 = decoder3.decode(receivedCommand.string);
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
308
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
309 //SessionListへ追加し変換テーブルを生成する。
99
2f79cdc45a2e *** empty log message ***
pin
parents: 98
diff changeset
310 sessionlist.update(channel, receivedSessionList3);
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
311
99
2f79cdc45a2e *** empty log message ***
pin
parents: 98
diff changeset
312 smList.sendExcept(channel, receivedCommand);
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
313
100
25bf89525e70 *** empty log message ***
pin
parents: 99
diff changeset
314 for(Session session3 : receivedSessionList3.getList()){
25bf89525e70 *** empty log message ***
pin
parents: 99
diff changeset
315 gui.setComboSession(session3.getSID(), session3.getName());
25bf89525e70 *** empty log message ***
pin
parents: 99
diff changeset
316 }
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
317
9
2d4c2c19d2d0 *** empty log message ***
pin
parents: 8
diff changeset
318 break;
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
319
9
2d4c2c19d2d0 *** empty log message ***
pin
parents: 8
diff changeset
320 case REP.SMCMD_UPDATE_ACK:
75
a636b651dbce *** empty log message ***
pin
parents: 74
diff changeset
321 if(receivedCommand.sid > sessionlist.getList().size()){
148
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
322 Editor editor = new Editor(channel);
75
a636b651dbce *** empty log message ***
pin
parents: 74
diff changeset
323 editor.setName(receivedCommand.string);
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
324
73
4d887f38284b *** empty log message ***
pin
parents: 72
diff changeset
325 session = new Session(editor);
4d887f38284b *** empty log message ***
pin
parents: 72
diff changeset
326 session.addEditor(editor);
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
327
73
4d887f38284b *** empty log message ***
pin
parents: 72
diff changeset
328 sessionlist.addSession(session);
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
329
83
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
330 gui.setComboSession(session.getSID(), session.getName());
73
4d887f38284b *** empty log message ***
pin
parents: 72
diff changeset
331 }
75
a636b651dbce *** empty log message ***
pin
parents: 74
diff changeset
332 smList.sendToSlave(receivedCommand);
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
333 break;
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
334
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
335 // case REP.REPCMD_READ:
108
4e8ebfa2d529 *** empty log message ***
pin
parents: 107
diff changeset
336 // //sessionlist.sendCmd(channel, repCmd);
4e8ebfa2d529 *** empty log message ***
pin
parents: 107
diff changeset
337 // break;
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
338
95
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
339 case REP.SMCMD_CH_MASTER:
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
340 //maxHost を設定。
95
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
341 if(setMaxHost(channel, receivedCommand.string)){
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
342 sendCommand = new REPCommand();
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
343 sendCommand.setCMD(REP.SMCMD_CH_MASTER);
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
344 sendCommand.setString(maxHost);
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
345 smList.sendExcept(channel, sendCommand);
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
346 }
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
347 break;
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
348
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
349 default:
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
350 //sid から Session を取得
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
351 session = getSession(receivedCommand.sid);
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
352 //マージの処理と次のエディタへコマンドを送信する処理
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
353 session.translate(channel, receivedCommand);
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
354 break;
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
355 }
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
356 }
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
357
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
358 private Editor getEditor(REPSocketChannel<REPCommand> channel) {
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
359 // TODO Auto-generated method stub
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
360 for(Editor editor : editorList){
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
361 if(editor.getChannel() == channel){
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
362 return editor;
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
363 }
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
364 }
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
365 return null;
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
366 }
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
367
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
368 private Session getSession(int sid) {
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
369 for(Session session : sessionList){
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
370 if(session.getSID() == sid) return session;
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
371 }
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
372 return null;
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
373 }
83
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
374
139
d6b94713cf45 *** empty log message ***
pin
parents: 133
diff changeset
375 private boolean setMaxHost(REPSocketChannel channel, String maxHost2) {
d6b94713cf45 *** empty log message ***
pin
parents: 133
diff changeset
376 // TODO Auto-generated method stub
d6b94713cf45 *** empty log message ***
pin
parents: 133
diff changeset
377 return false;
d6b94713cf45 *** empty log message ***
pin
parents: 133
diff changeset
378 }
d6b94713cf45 *** empty log message ***
pin
parents: 133
diff changeset
379
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
380 private int reverseCmd(int cmd) {
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
381 int kindOfCmd = 0;
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
382 switch(cmd){
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
383 case REP.REPCMD_INSERT:
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
384 kindOfCmd = REP.REPCMD_DELETE;
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
385 break;
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
386 case REP.REPCMD_DELETE:
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
387 kindOfCmd = REP.REPCMD_INSERT;
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
388 break;
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
389 case REP.REPCMD_REPLACE:
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
390 kindOfCmd = REP.REPCMD_REPLACE;
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
391 break;
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
392 }
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
393 return kindOfCmd;
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
394 }
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
395
111
fe8306c6c8bf *** empty log message ***
pin
parents: 109
diff changeset
396
78
8a4f92f31c58 *** empty log message ***
pin
parents: 77
diff changeset
397
76
97ca5f5447cd *** empty log message ***
pin
parents: 75
diff changeset
398 private void setMyHostName(String localHostName) {
95
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
399 myHost = localHostName + temp_port;
81
13819571691d *** empty log message ***
pin
parents: 80
diff changeset
400 if(maxHost == null) {
13819571691d *** empty log message ***
pin
parents: 80
diff changeset
401 maxHost = myHost;
13819571691d *** empty log message ***
pin
parents: 80
diff changeset
402 sessionlist.setMaxHost(maxHost);
13819571691d *** empty log message ***
pin
parents: 80
diff changeset
403 }
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
404 ownEditorList.setHost(myHost);
76
97ca5f5447cd *** empty log message ***
pin
parents: 75
diff changeset
405 }
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
406
139
d6b94713cf45 *** empty log message ***
pin
parents: 133
diff changeset
407 private void setMaster(boolean b, REPSocketChannel channel) {
75
a636b651dbce *** empty log message ***
pin
parents: 74
diff changeset
408 isMaster = b;
a636b651dbce *** empty log message ***
pin
parents: 74
diff changeset
409 System.out.println("isMaster = " + b);
77
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
410 smList.setMaster(channel);
75
a636b651dbce *** empty log message ***
pin
parents: 74
diff changeset
411 }
a636b651dbce *** empty log message ***
pin
parents: 74
diff changeset
412
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
413 public static void main(String[] args) throws InterruptedException, IOException {
101
612cb62151ce *** empty log message ***
pin
parents: 100
diff changeset
414 int port = DEFAULT_PORT;
612cb62151ce *** empty log message ***
pin
parents: 100
diff changeset
415 int port_s = DEFAULT_PORT;
113
ce84d70b6cc9 *** empty log message ***
pin
parents: 112
diff changeset
416 //System.setProperty("file.encoding", "UTF-8");
82
4bb583553a42 *** empty log message ***
pin
parents: 81
diff changeset
417 if(args.length > 0){
39
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
418 port = Integer.parseInt(args[0]);
95
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
419 port_s = Integer.parseInt(args[1]);
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
420 }
95
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
421 temp_port = port;
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
422 send_port = port_s;
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
423 SessionManager sm = new SessionManager(port);
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
424 sm.openSelector();
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
425 sm.openWindow();
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
426 sm.mainLoop(port);
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
427 }
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
428
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
429 private void openWindow() {
83
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
430 Thread th = new Thread( gui );
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
431 th.start();
75
a636b651dbce *** empty log message ***
pin
parents: 74
diff changeset
432 //System.out.println(sessionmanagerGUI.toString());
83
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
433 gui.addConnectionListener(this);
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
434 gui.addREPActionListener(this);
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
435 }
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
436
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
437 private void connectSession(String host) {
101
612cb62151ce *** empty log message ***
pin
parents: 100
diff changeset
438 int port = DEFAULT_PORT;
95
2462a5d11396 add hostname+port
chiaki
parents: 94
diff changeset
439 port = send_port;
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
440 InetSocketAddress addr = new InetSocketAddress(host, port);
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
441 try {
148
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
442 REPSocketChannel sessionchannel = REPSocketChannel.<REPCommand>create();
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
443 sessionchannel.configureBlocking(true);
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
444 sessionchannel.connect(addr);
6
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
445 while(!sessionchannel.finishConnect()){
77
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
446 System.out.print("test afro");
6
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
447 }
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
448 System.out.println("");
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
449 registerChannel(selector, sessionchannel, SelectionKey.OP_READ);
45
10f1adf6d74d *** empty log message ***
pin
parents: 39
diff changeset
450
77
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
451 sm_join(sessionchannel);
45
10f1adf6d74d *** empty log message ***
pin
parents: 39
diff changeset
452
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
453 }catch (IOException e) {
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
454 e.printStackTrace();
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
455 }
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
456 }
77
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
457
139
d6b94713cf45 *** empty log message ***
pin
parents: 133
diff changeset
458 private void sm_join(REPSocketChannel channel){
79
d1877cfd131d *** empty log message ***
pin
parents: 78
diff changeset
459
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
460 //SM_JOINコマンドを生成。
77
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
461 REPCommand command = new REPCommand();
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
462 command.setCMD(REP.SMCMD_SM_JOIN);
79
d1877cfd131d *** empty log message ***
pin
parents: 78
diff changeset
463
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
464 //hostnameをセット。
82
4bb583553a42 *** empty log message ***
pin
parents: 81
diff changeset
465 setMyHostName(getLocalHostName(channel));
4bb583553a42 *** empty log message ***
pin
parents: 81
diff changeset
466
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
467 //XMLを生成。送信コマンドにセット。
77
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
468 SessionXMLEncoder encoder = new SessionXMLEncoder(sessionlist);
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
469 String string = encoder.sessionListToXML();
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
470 command.setString(string);
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
471
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
472 //SM_JOINコマンドを送信。
77
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
473 REPPacketSend send = new REPPacketSend(channel);
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
474 send.send(command);
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
475
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
476 //SessionManagerのListに追加。
77
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
477 smList.add(channel);
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
478 }
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
479
139
d6b94713cf45 *** empty log message ***
pin
parents: 133
diff changeset
480 private String getLocalHostName(REPSocketChannel channel) {
74
391d44c94799 *** empty log message ***
pin
parents: 73
diff changeset
481 String host = null;
391d44c94799 *** empty log message ***
pin
parents: 73
diff changeset
482 host = channel.socket().getLocalAddress().getHostName();
391d44c94799 *** empty log message ***
pin
parents: 73
diff changeset
483 return host;
391d44c94799 *** empty log message ***
pin
parents: 73
diff changeset
484 }
391d44c94799 *** empty log message ***
pin
parents: 73
diff changeset
485
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
486 public void connectionOccured(ConnectionEvent event) {
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
487 connectSession(event.getHost());
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
488 }
8
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
489
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
490 public void ActionOccured(REPActionEvent event) {
104
91f053bdfb18 *** empty log message ***
pin
parents: 103
diff changeset
491
133
8dce4348966c *** empty log message ***
kono
parents: 124
diff changeset
492 REPSocketChannel channel = event.getEditorChannel();
107
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
493 int sid = event.getSID();
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
494 Session session = sessionlist.getSession(sid);
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
495 if(session.isOwner()){
148
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
496 Editor editor = new Editor(channel);
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
497 session.addEditor(new Editor(channel));
107
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
498 REPCommand sendCommand = new REPCommand();
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
499 sendCommand.setCMD(REP.SMCMD_JOIN_ACK);
148
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
500 sendCommand.setEID(editor.getEID());
107
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
501 sendCommand.setSID(sid);
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
502 REPPacketSend sender = new REPPacketSend(channel);
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
503 sender.send(sendCommand);
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
504 }else {
133
8dce4348966c *** empty log message ***
kono
parents: 124
diff changeset
505 REPSocketChannel editorChannel = event.getEditorChannel();
107
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
506 sid = event.getSID();
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
507 Editor editor = new Editor(editorChannel);
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
508 editor.setHost(myHost);
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
509 session = sessionlist.getSession(sid);
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
510 session.addEditor(editor);
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
511
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
512 Editor owner = session.getMaster();
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
513
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
514 REPCommand command = new REPCommand();
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
515 command.setCMD(REP.SMCMD_SELECT);
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
516 command.setSID(sid);
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
517 command.setString(editor.getHost() + ":" + editor.getPort());
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
518 owner.send(command);
d32096538dc3 *** empty log message ***
pin
parents: 106
diff changeset
519 }
72
3cdf2d6d99d9 *** empty log message ***
pin
parents: 71
diff changeset
520
3cdf2d6d99d9 *** empty log message ***
pin
parents: 71
diff changeset
521
8
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
522 }
122
790c8dd42a7b *** empty log message ***
kono
parents: 117
diff changeset
523
144
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
524 public void addWaitingCommand(PacketSet set) {
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
525 // TODO Auto-generated method stub
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
526
0bf7f8d0f5f7 *** empty log message ***
pin
parents: 141
diff changeset
527 }
148
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
528
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
529 public void undo() {
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
530 // TODO Auto-generated method stub
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
531
6a5fe529b192 *** empty log message ***
pin
parents: 146
diff changeset
532 }
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
533 }