annotate rep/SessionManager.java @ 123:5b1a0574b406 add-simulator

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