annotate rep/SessionManager.java @ 85:d5cd4d103eea

*** empty log message ***
author pin
date Fri, 21 Dec 2007 16:58:51 +0900
parents 54334d83194a
children 2cd4e7506d0e
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;
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
6 import java.nio.channels.SelectableChannel;
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
7 import java.nio.channels.SelectionKey;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
8 import java.nio.channels.Selector;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
9 import java.nio.channels.ServerSocketChannel;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
10 import java.nio.channels.SocketChannel;
83
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
11 import java.util.LinkedList;
15
78c211017d3d *** empty log message ***
pin
parents: 14
diff changeset
12 import java.util.StringTokenizer;
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
13
56
6ead43b2475e *** empty log message ***
pin
parents: 53
diff changeset
14 import rep.xml.SessionXMLDecoder;
45
10f1adf6d74d *** empty log message ***
pin
parents: 39
diff changeset
15 import rep.xml.SessionXMLEncoder;
10f1adf6d74d *** empty log message ***
pin
parents: 39
diff changeset
16
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
17 //+-------+--------+--------+-------+--------+---------+------+
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
18 //| cmd | session| editor | seqid | lineno | textsiz | text |
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
19 //| | id | id | | | | |
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
20 //+-------+--------+--------+-------+--------+---------+------+
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
21 //o-------header section (network order)-------------o
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
22 /*int cmd; // command
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
23 int sid; // session ID
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
24 int eid; // editor ID
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
25 int seqno; // Sequence number
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
26 int lineno; // line number
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
27 int textsize; // textsize
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
28 byte[] text;*/
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
29
8
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
30 public class SessionManager implements ConnectionListener, REPActionListener{
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
31
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
32
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
33 private SessionList sessionlist;
5
91a33a634fef *** empty log message ***
pin
parents: 3
diff changeset
34 //SocketChannel sessionchannel;
83
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
35 private SessionManagerGUI gui;
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
36 private Selector selector;
7
5067a6a93d01 *** empty log message ***
pin
parents: 6
diff changeset
37 private SessionManagerList smList;
17
806e34a6fecd *** empty log message ***
pin
parents: 16
diff changeset
38 private String myHost;
21
2d4bab638a71 *** empty log message ***
pin
parents: 19
diff changeset
39 private boolean isMaster = true;
77
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
40 private EditorList allEditorList;
78
8a4f92f31c58 *** empty log message ***
pin
parents: 77
diff changeset
41 private String maxHost;
76
97ca5f5447cd *** empty log message ***
pin
parents: 75
diff changeset
42 //private boolean addressIsGlobal;
6
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
43 //private SocketChannel sessionchannel;
7
5067a6a93d01 *** empty log message ***
pin
parents: 6
diff changeset
44 //private boolean co;
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
45 public SessionManager(int port) {
83
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
46 gui = new SessionManagerGUI();
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
47 }
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
48
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
49 public void openSelector() throws IOException{
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
50 selector = Selector.open();
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
51 }
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
52
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
53 public void sessionManagerNet(int port) throws InterruptedException, IOException {
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
54
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
55 ServerSocketChannel ssc = ServerSocketChannel.open();
38
de8638eb0edd *** empty log message ***
pin
parents: 31
diff changeset
56 ssc.configureBlocking(false);
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
57 ssc.socket().bind(new InetSocketAddress(port));
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
58 ssc.register(selector, SelectionKey.OP_ACCEPT);
6
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
59
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
60
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
61 sessionlist = new SessionList();
7
5067a6a93d01 *** empty log message ***
pin
parents: 6
diff changeset
62 smList = new SessionManagerList();
77
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
63 allEditorList = new EditorList();
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
64
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
65 while(true){
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
66 selector.select();
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
67 for(SelectionKey key : selector.selectedKeys()){
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
68 if(key.isAcceptable()){
28
1544f5c45dd8 edit disconnet key.cancel + accept etc
fuchita
parents: 26
diff changeset
69 /*** serverChannelはenableになったSelectionKeyのchannel ***/
1544f5c45dd8 edit disconnet key.cancel + accept etc
fuchita
parents: 26
diff changeset
70 ServerSocketChannel serverChannel = (ServerSocketChannel)key.channel();
9
2d4c2c19d2d0 *** empty log message ***
pin
parents: 8
diff changeset
71 /*** EditorChannel を用いない記述 ***/
28
1544f5c45dd8 edit disconnet key.cancel + accept etc
fuchita
parents: 26
diff changeset
72 SocketChannel channel = serverChannel.accept(); //keyからchannelを取って、accept
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
73 registerChannel (selector, channel, SelectionKey.OP_READ);
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
74 channel = null;
9
2d4c2c19d2d0 *** empty log message ***
pin
parents: 8
diff changeset
75
2d4c2c19d2d0 *** empty log message ***
pin
parents: 8
diff changeset
76 /*** EditorChannel を用いた記述 ****/
2d4c2c19d2d0 *** empty log message ***
pin
parents: 8
diff changeset
77 //EditorChannel echannel = (EditorChannel) ssc.accept();
2d4c2c19d2d0 *** empty log message ***
pin
parents: 8
diff changeset
78 //echannel.setIO();
2d4c2c19d2d0 *** empty log message ***
pin
parents: 8
diff changeset
79 //registerChannel(selector, echannel, SelectionKey.OP_READ);
2d4c2c19d2d0 *** empty log message ***
pin
parents: 8
diff changeset
80 //echannel = null;
2d4c2c19d2d0 *** empty log message ***
pin
parents: 8
diff changeset
81
2d4c2c19d2d0 *** empty log message ***
pin
parents: 8
diff changeset
82 /*** SelectableEditorChannel ***/
2d4c2c19d2d0 *** empty log message ***
pin
parents: 8
diff changeset
83 //SocketChannel channel = ssc.accept();
2d4c2c19d2d0 *** empty log message ***
pin
parents: 8
diff changeset
84 //SelectableEditorChannel echannel2 = new SelectableEditorChannel(channel);
2d4c2c19d2d0 *** empty log message ***
pin
parents: 8
diff changeset
85 //registerChannel(selector, echannel2, SelectionKey.OP_READ);
2d4c2c19d2d0 *** empty log message ***
pin
parents: 8
diff changeset
86 //channel = null;
2d4c2c19d2d0 *** empty log message ***
pin
parents: 8
diff changeset
87 //echannel2 = null;
2d4c2c19d2d0 *** empty log message ***
pin
parents: 8
diff changeset
88
6
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
89 }else if(key.isReadable()){
9
2d4c2c19d2d0 *** empty log message ***
pin
parents: 8
diff changeset
90
2d4c2c19d2d0 *** empty log message ***
pin
parents: 8
diff changeset
91 /*** EditorChannel を用いない記述 ***/
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
92 SocketChannel channel = (SocketChannel)key.channel();
75
a636b651dbce *** empty log message ***
pin
parents: 74
diff changeset
93 REPPacketReceive receive = new REPPacketReceive(channel); //getPacket(), putPacket() にする。
a636b651dbce *** empty log message ***
pin
parents: 74
diff changeset
94 receive.setkey(key);
53
b87c9b39739a UTF-8 Pack Method packUConv()/unpackUConv() add
fuchita
parents: 45
diff changeset
95 //REPCommand repCom = repRec.unpackUConv();
75
a636b651dbce *** empty log message ***
pin
parents: 74
diff changeset
96 REPCommand receivedCommand = receive.unpack();
a636b651dbce *** empty log message ***
pin
parents: 74
diff changeset
97 manager(channel, receivedCommand);
9
2d4c2c19d2d0 *** empty log message ***
pin
parents: 8
diff changeset
98
2d4c2c19d2d0 *** empty log message ***
pin
parents: 8
diff changeset
99 /*** EditorChannel を用いた記述 ****/
2d4c2c19d2d0 *** empty log message ***
pin
parents: 8
diff changeset
100 //EditorChannel echannel = (EditorChannel) key.channel();
2d4c2c19d2d0 *** empty log message ***
pin
parents: 8
diff changeset
101 //REPCommand command = echannel.getPacket();
2d4c2c19d2d0 *** empty log message ***
pin
parents: 8
diff changeset
102 //manager(echannel, command);
2d4c2c19d2d0 *** empty log message ***
pin
parents: 8
diff changeset
103
6
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
104 }else if(key.isConnectable()){
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
105 System.out.println("Connectable");
21
2d4bab638a71 *** empty log message ***
pin
parents: 19
diff changeset
106 }
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
107 }
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
108 }
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
109 }
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
110
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
111 private synchronized void registerChannel(Selector selector, SelectableChannel channel, int ops) throws IOException {
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
112 if(channel == null) {
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
113 return;
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
114 }
9
2d4c2c19d2d0 *** empty log message ***
pin
parents: 8
diff changeset
115 //System.out.println("registerChannel()");
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
116 channel.configureBlocking(false);
6
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
117 selector.wakeup();
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
118 channel.register(selector, ops);
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
119 }
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
120
75
a636b651dbce *** empty log message ***
pin
parents: 74
diff changeset
121 private void manager(SocketChannel channel, REPCommand receivedCommand) {
a636b651dbce *** empty log message ***
pin
parents: 74
diff changeset
122 if(receivedCommand == null) return;
69
9dd7471b771a *** empty log message ***
pin
parents: 68
diff changeset
123 Editor editor;
9dd7471b771a *** empty log message ***
pin
parents: 68
diff changeset
124 Session session;
75
a636b651dbce *** empty log message ***
pin
parents: 74
diff changeset
125 REPCommand sendCommand = receivedCommand.clone();
78
8a4f92f31c58 *** empty log message ***
pin
parents: 77
diff changeset
126 REPPacketSend send = new REPPacketSend(channel);
8a4f92f31c58 *** empty log message ***
pin
parents: 77
diff changeset
127 //SessionXMLEncoder encoder = new SessionXMLEncoder();
75
a636b651dbce *** empty log message ***
pin
parents: 74
diff changeset
128
a636b651dbce *** empty log message ***
pin
parents: 74
diff changeset
129 switch(receivedCommand.cmd){
38
de8638eb0edd *** empty log message ***
pin
parents: 31
diff changeset
130
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
131 case REP.SMCMD_JOIN:
83
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
132
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
133 int tempeid = allEditorList.addEditor(channel, receivedCommand);
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
134 //sendCommand.setCMD(REP.SMCMD_JOIN_ACK);
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
135 //sendCommand.setEID(eid);
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
136 //REPPacketSend packetSend = new REPPacketSend(channel);
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
137 //packetSend.send(sendCommand);
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
138 gui.setComboEditor(tempeid, channel);
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
139
38
de8638eb0edd *** empty log message ***
pin
parents: 31
diff changeset
140 break;
31
593f915dd6ff for JOIN and PUT Testing
pin
parents: 30
diff changeset
141
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
142 case REP.SMCMD_JOIN_ACK:
31
593f915dd6ff for JOIN and PUT Testing
pin
parents: 30
diff changeset
143 // editorList.setEID(repCmd);
593f915dd6ff for JOIN and PUT Testing
pin
parents: 30
diff changeset
144 // editorList.sendJoinAck(repCmd);
593f915dd6ff for JOIN and PUT Testing
pin
parents: 30
diff changeset
145 // sessionmanagerGUI.setComboEditor(repCmd.eid, channel);
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
146 break;
31
593f915dd6ff for JOIN and PUT Testing
pin
parents: 30
diff changeset
147
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
148 case REP.SMCMD_PUT:
69
9dd7471b771a *** empty log message ***
pin
parents: 68
diff changeset
149 editor = new Editor(channel);
56
6ead43b2475e *** empty log message ***
pin
parents: 53
diff changeset
150 editor.setEID(1);
75
a636b651dbce *** empty log message ***
pin
parents: 74
diff changeset
151 editor.setName(receivedCommand.string);
69
9dd7471b771a *** empty log message ***
pin
parents: 68
diff changeset
152 session = new Session(editor);
67
13e4c3f2c6f9 *** empty log message ***
pin
parents: 66
diff changeset
153 session.setOwner(true);
63
b30c1c73d7ef *** empty log message ***
pin
parents: 62
diff changeset
154 session.addEditor(editor);
56
6ead43b2475e *** empty log message ***
pin
parents: 53
diff changeset
155 sessionlist.addSession(session);
83
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
156 gui.setComboSession(session.getSID(), session.getName());
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
157 gui.setComboEditor(editor.getEID(), editor.getChannel());
56
6ead43b2475e *** empty log message ***
pin
parents: 53
diff changeset
158 session.addToRoutingTable(editor);
84
54334d83194a *** empty log message ***
pin
parents: 83
diff changeset
159 sendCommand.setCMD(REP.SMCMD_PUT_ACK);
54334d83194a *** empty log message ***
pin
parents: 83
diff changeset
160 sendCommand.setEID(1);
54334d83194a *** empty log message ***
pin
parents: 83
diff changeset
161 sendCommand.setSID(session.getSID());
54334d83194a *** empty log message ***
pin
parents: 83
diff changeset
162 editor.send(sendCommand);
56
6ead43b2475e *** empty log message ***
pin
parents: 53
diff changeset
163
6ead43b2475e *** empty log message ***
pin
parents: 53
diff changeset
164 //if(isMaster){
78
8a4f92f31c58 *** empty log message ***
pin
parents: 77
diff changeset
165 SessionXMLEncoder sessionEncoder = new SessionXMLEncoder(session);
56
6ead43b2475e *** empty log message ***
pin
parents: 53
diff changeset
166 REPCommand command = new REPCommand();
6ead43b2475e *** empty log message ***
pin
parents: 53
diff changeset
167 command.setSID(session.getSID());
78
8a4f92f31c58 *** empty log message ***
pin
parents: 77
diff changeset
168 command.setString(sessionEncoder.sessionListToXML());
56
6ead43b2475e *** empty log message ***
pin
parents: 53
diff changeset
169 if(isMaster){
6ead43b2475e *** empty log message ***
pin
parents: 53
diff changeset
170 command.setCMD(REP.SMCMD_UPDATE_ACK);
6ead43b2475e *** empty log message ***
pin
parents: 53
diff changeset
171 smList.sendToSlave(command);
6ead43b2475e *** empty log message ***
pin
parents: 53
diff changeset
172 }else{
6ead43b2475e *** empty log message ***
pin
parents: 53
diff changeset
173 command.setCMD(REP.SMCMD_UPDATE);
6ead43b2475e *** empty log message ***
pin
parents: 53
diff changeset
174 smList.sendToMaster(command);
31
593f915dd6ff for JOIN and PUT Testing
pin
parents: 30
diff changeset
175 }
38
de8638eb0edd *** empty log message ***
pin
parents: 31
diff changeset
176 break;
31
593f915dd6ff for JOIN and PUT Testing
pin
parents: 30
diff changeset
177
9
2d4c2c19d2d0 *** empty log message ***
pin
parents: 8
diff changeset
178 // case REP.SMCMD_PUT_ACK:
2d4c2c19d2d0 *** empty log message ***
pin
parents: 8
diff changeset
179 // break;
31
593f915dd6ff for JOIN and PUT Testing
pin
parents: 30
diff changeset
180
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
181 case REP.SMCMD_SELECT:
66
99196780bbf5 *** empty log message ***
pin
parents: 65
diff changeset
182 // sessionlist.addEditor(channel, repCmd.sid, repCmd); //sessionlistへ追加
70
248d774be113 *** empty log message ***
pin
parents: 69
diff changeset
183 editor = new Editor(channel);
75
a636b651dbce *** empty log message ***
pin
parents: 74
diff changeset
184 session = sessionlist.getSession(receivedCommand.sid);
70
248d774be113 *** empty log message ***
pin
parents: 69
diff changeset
185 if(session.isOwner()){
83
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
186 int eid2 = session.addEditor(editor);
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
187 editor.setEID(eid2);
78
8a4f92f31c58 *** empty log message ***
pin
parents: 77
diff changeset
188 //REPPacketSend send = new REPPacketSend(channel);
84
54334d83194a *** empty log message ***
pin
parents: 83
diff changeset
189 //receivedCommand.setCMD(REP.SMCMD_SELECT_ACK);
54334d83194a *** empty log message ***
pin
parents: 83
diff changeset
190 //receivedCommand.setEID(eid2);
54334d83194a *** empty log message ***
pin
parents: 83
diff changeset
191 sendCommand.setCMD(REP.SMCMD_SELECT_ACK);
54334d83194a *** empty log message ***
pin
parents: 83
diff changeset
192 sendCommand.setEID(eid2);
54334d83194a *** empty log message ***
pin
parents: 83
diff changeset
193 send.send(sendCommand);
66
99196780bbf5 *** empty log message ***
pin
parents: 65
diff changeset
194 }else {
85
d5cd4d103eea *** empty log message ***
pin
parents: 84
diff changeset
195 Editor master = session.getMaster();
d5cd4d103eea *** empty log message ***
pin
parents: 84
diff changeset
196 master.send(receivedCommand);
66
99196780bbf5 *** empty log message ***
pin
parents: 65
diff changeset
197 }
99196780bbf5 *** empty log message ***
pin
parents: 65
diff changeset
198
8
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
199 break;
38
de8638eb0edd *** empty log message ***
pin
parents: 31
diff changeset
200
8
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
201 case REP.SMCMD_SELECT_ACK:
85
d5cd4d103eea *** empty log message ***
pin
parents: 84
diff changeset
202
d5cd4d103eea *** empty log message ***
pin
parents: 84
diff changeset
203 String hostport = receivedCommand.string;
d5cd4d103eea *** empty log message ***
pin
parents: 84
diff changeset
204 Editor editor2 = allEditorList.getEditor(hostport);
d5cd4d103eea *** empty log message ***
pin
parents: 84
diff changeset
205 if(editor2 != null) {
d5cd4d103eea *** empty log message ***
pin
parents: 84
diff changeset
206 REPCommand command2 = new REPCommand();
d5cd4d103eea *** empty log message ***
pin
parents: 84
diff changeset
207 command2.setCMD(REP.SMCMD_JOIN_ACK);
d5cd4d103eea *** empty log message ***
pin
parents: 84
diff changeset
208 command2.setEID(receivedCommand.eid);
d5cd4d103eea *** empty log message ***
pin
parents: 84
diff changeset
209 editor2.send(command2);
d5cd4d103eea *** empty log message ***
pin
parents: 84
diff changeset
210 }else{
d5cd4d103eea *** empty log message ***
pin
parents: 84
diff changeset
211 smList.sendExcept(channel, receivedCommand);
d5cd4d103eea *** empty log message ***
pin
parents: 84
diff changeset
212 }
d5cd4d103eea *** empty log message ***
pin
parents: 84
diff changeset
213
d5cd4d103eea *** empty log message ***
pin
parents: 84
diff changeset
214 //receivedCommand.setCMD(REP.SMCMD_JOIN_ACK);
d5cd4d103eea *** empty log message ***
pin
parents: 84
diff changeset
215 //receivedCommand.setEID(receivedCommand.eid);
d5cd4d103eea *** empty log message ***
pin
parents: 84
diff changeset
216 //session = sessionlist.getSession(receivedCommand.sid);
d5cd4d103eea *** empty log message ***
pin
parents: 84
diff changeset
217 //session.sendToEditor(receivedCommand);
69
9dd7471b771a *** empty log message ***
pin
parents: 68
diff changeset
218 //Editor editor3 = session3.getEditorList().get(0);
9dd7471b771a *** empty log message ***
pin
parents: 68
diff changeset
219 //REPPacketSend send = new REPPacketSend(editor3.getChannel());
9dd7471b771a *** empty log message ***
pin
parents: 68
diff changeset
220 //send.send(repCmd);
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
221 break;
38
de8638eb0edd *** empty log message ***
pin
parents: 31
diff changeset
222
8
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
223 case REP.SMCMD_SM_JOIN:
78
8a4f92f31c58 *** empty log message ***
pin
parents: 77
diff changeset
224
83
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
225 //SessionManagerのリストへ追加
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
226 smList.add(channel);
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
227
78
8a4f92f31c58 *** empty log message ***
pin
parents: 77
diff changeset
228 //XMLからSessionListオブジェクトを生成する。
77
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
229 SessionXMLDecoder decoder = new SessionXMLDecoder();
79
d1877cfd131d *** empty log message ***
pin
parents: 78
diff changeset
230 SessionList receivedSessionList = decoder.decode(receivedCommand.string);
78
8a4f92f31c58 *** empty log message ***
pin
parents: 77
diff changeset
231
83
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
232 //SessionListへ追加し変換テーブルを生成する。
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
233 sessionlist.update(channel, receivedSessionList);
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
234
78
8a4f92f31c58 *** empty log message ***
pin
parents: 77
diff changeset
235 //myHost を設定。
76
97ca5f5447cd *** empty log message ***
pin
parents: 75
diff changeset
236 if(myHost == null) setMyHostName(getLocalHostName(channel));
78
8a4f92f31c58 *** empty log message ***
pin
parents: 77
diff changeset
237
79
d1877cfd131d *** empty log message ***
pin
parents: 78
diff changeset
238 //maxHost を設定。
82
4bb583553a42 *** empty log message ***
pin
parents: 81
diff changeset
239 setMaxHost(channel, receivedSessionList.getMaxHost());
77
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
240
78
8a4f92f31c58 *** empty log message ***
pin
parents: 77
diff changeset
241 //SessionListからXMLを生成。
8a4f92f31c58 *** empty log message ***
pin
parents: 77
diff changeset
242 //joinしてきたSessionManagerに対してACKを送信。
8a4f92f31c58 *** empty log message ***
pin
parents: 77
diff changeset
243 SessionXMLEncoder sessionlistEncoder = new SessionXMLEncoder(sessionlist);
8a4f92f31c58 *** empty log message ***
pin
parents: 77
diff changeset
244 sendCommand = new REPCommand();
8a4f92f31c58 *** empty log message ***
pin
parents: 77
diff changeset
245 sendCommand.setCMD(REP.SMCMD_SM_JOIN_ACK);
8a4f92f31c58 *** empty log message ***
pin
parents: 77
diff changeset
246 sendCommand.setString(sessionlistEncoder.sessionListToXML());
8a4f92f31c58 *** empty log message ***
pin
parents: 77
diff changeset
247 send.send(sendCommand);
8a4f92f31c58 *** empty log message ***
pin
parents: 77
diff changeset
248
83
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
249 //その他の SessionManager に対して SMCMD_UPDATEを 送信。
78
8a4f92f31c58 *** empty log message ***
pin
parents: 77
diff changeset
250 sendCommand = new REPCommand();
83
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
251 sendCommand.setCMD(REP.SMCMD_UPDATE);
78
8a4f92f31c58 *** empty log message ***
pin
parents: 77
diff changeset
252 sendCommand.setString(receivedCommand.string);
8a4f92f31c58 *** empty log message ***
pin
parents: 77
diff changeset
253 smList.sendExcept(channel, sendCommand);
8a4f92f31c58 *** empty log message ***
pin
parents: 77
diff changeset
254
83
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
255 //その他のSessionManagerに対してSMCMD_SM_JOINを送信。
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
256 //sendCommand = new REPCommand();
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
257 //sendCommand.setCMD(REP.SMCMD_SM_JOIN);
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
258 //sendCommand.setString(receivedCommand.string);
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
259 //smList.sendExcept(channel, sendCommand);
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
260
31
593f915dd6ff for JOIN and PUT Testing
pin
parents: 30
diff changeset
261 if(isMaster){
45
10f1adf6d74d *** empty log message ***
pin
parents: 39
diff changeset
262 }else {
31
593f915dd6ff for JOIN and PUT Testing
pin
parents: 30
diff changeset
263 }
78
8a4f92f31c58 *** empty log message ***
pin
parents: 77
diff changeset
264
8
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
265 break;
38
de8638eb0edd *** empty log message ***
pin
parents: 31
diff changeset
266
8
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
267 case REP.SMCMD_SM_JOIN_ACK:
82
4bb583553a42 *** empty log message ***
pin
parents: 81
diff changeset
268
4bb583553a42 *** empty log message ***
pin
parents: 81
diff changeset
269 //XMLからSessionListオブジェクトを生成。
4bb583553a42 *** empty log message ***
pin
parents: 81
diff changeset
270 SessionXMLDecoder decoder2 = new SessionXMLDecoder();
4bb583553a42 *** empty log message ***
pin
parents: 81
diff changeset
271 SessionList receivedSessionList2 = decoder2.decode(receivedCommand.string);
4bb583553a42 *** empty log message ***
pin
parents: 81
diff changeset
272
4bb583553a42 *** empty log message ***
pin
parents: 81
diff changeset
273 //maxHostを決定。
4bb583553a42 *** empty log message ***
pin
parents: 81
diff changeset
274 setMaxHost(channel, receivedSessionList2.getMaxHost());
4bb583553a42 *** empty log message ***
pin
parents: 81
diff changeset
275
38
de8638eb0edd *** empty log message ***
pin
parents: 31
diff changeset
276 if(isMaster){
39
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
277 }else{
38
de8638eb0edd *** empty log message ***
pin
parents: 31
diff changeset
278 }
de8638eb0edd *** empty log message ***
pin
parents: 31
diff changeset
279
6
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
280 break;
38
de8638eb0edd *** empty log message ***
pin
parents: 31
diff changeset
281
8
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
282 case REP.SMCMD_UPDATE:
70
248d774be113 *** empty log message ***
pin
parents: 69
diff changeset
283
83
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
284 //SessionのownerのEditor
69
9dd7471b771a *** empty log message ***
pin
parents: 68
diff changeset
285 editor = new Editor(channel);
75
a636b651dbce *** empty log message ***
pin
parents: 74
diff changeset
286 editor.setName(receivedCommand.string);
70
248d774be113 *** empty log message ***
pin
parents: 69
diff changeset
287
69
9dd7471b771a *** empty log message ***
pin
parents: 68
diff changeset
288 session = new Session(editor);
70
248d774be113 *** empty log message ***
pin
parents: 69
diff changeset
289 session.addEditor(editor);
248d774be113 *** empty log message ***
pin
parents: 69
diff changeset
290
69
9dd7471b771a *** empty log message ***
pin
parents: 68
diff changeset
291 sessionlist.addSession(session);
70
248d774be113 *** empty log message ***
pin
parents: 69
diff changeset
292
83
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
293 gui.setComboSession(session.getSID(), session.getName());
70
248d774be113 *** empty log message ***
pin
parents: 69
diff changeset
294
83
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
295 //if(isMaster){
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
296 // receivedCommand.setCMD(REP.SMCMD_UPDATE_ACK);
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
297 // smList.sendToSlave(receivedCommand);
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
298 //}else{
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
299 // receivedCommand.setCMD(REP.SMCMD_UPDATE);
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
300 // smList.sendToMaster(receivedCommand);
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
301 //}
9
2d4c2c19d2d0 *** empty log message ***
pin
parents: 8
diff changeset
302 break;
38
de8638eb0edd *** empty log message ***
pin
parents: 31
diff changeset
303
9
2d4c2c19d2d0 *** empty log message ***
pin
parents: 8
diff changeset
304 case REP.SMCMD_UPDATE_ACK:
75
a636b651dbce *** empty log message ***
pin
parents: 74
diff changeset
305 if(receivedCommand.sid > sessionlist.getList().size()){
73
4d887f38284b *** empty log message ***
pin
parents: 72
diff changeset
306 editor = new Editor(channel);
75
a636b651dbce *** empty log message ***
pin
parents: 74
diff changeset
307 editor.setName(receivedCommand.string);
73
4d887f38284b *** empty log message ***
pin
parents: 72
diff changeset
308
4d887f38284b *** empty log message ***
pin
parents: 72
diff changeset
309 session = new Session(editor);
4d887f38284b *** empty log message ***
pin
parents: 72
diff changeset
310 session.addEditor(editor);
4d887f38284b *** empty log message ***
pin
parents: 72
diff changeset
311
4d887f38284b *** empty log message ***
pin
parents: 72
diff changeset
312 sessionlist.addSession(session);
4d887f38284b *** empty log message ***
pin
parents: 72
diff changeset
313
83
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
314 gui.setComboSession(session.getSID(), session.getName());
73
4d887f38284b *** empty log message ***
pin
parents: 72
diff changeset
315 }
75
a636b651dbce *** empty log message ***
pin
parents: 74
diff changeset
316 smList.sendToSlave(receivedCommand);
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
317 break;
38
de8638eb0edd *** empty log message ***
pin
parents: 31
diff changeset
318
3
f31fcac5a949 *** empty log message ***
pin
parents: 2
diff changeset
319 case REP.REPCMD_READ:
17
806e34a6fecd *** empty log message ***
pin
parents: 16
diff changeset
320 //sessionlist.sendCmd(channel, repCmd);
3
f31fcac5a949 *** empty log message ***
pin
parents: 2
diff changeset
321 break;
38
de8638eb0edd *** empty log message ***
pin
parents: 31
diff changeset
322
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
323 default:
9
2d4c2c19d2d0 *** empty log message ***
pin
parents: 8
diff changeset
324 //sessionlist.sendCmd(channel, repCmd);
75
a636b651dbce *** empty log message ***
pin
parents: 74
diff changeset
325 sessionlist.sendToNextEditor(channel, receivedCommand);
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
326 break;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
327 }
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
328 }
83
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
329
79
d1877cfd131d *** empty log message ***
pin
parents: 78
diff changeset
330 private boolean setMaxHost(SocketChannel channel, String host) {
81
13819571691d *** empty log message ***
pin
parents: 80
diff changeset
331 if(maxHost == null) {
13819571691d *** empty log message ***
pin
parents: 80
diff changeset
332 maxHost = myHost;
13819571691d *** empty log message ***
pin
parents: 80
diff changeset
333 sessionlist.setMaxHost(maxHost);
13819571691d *** empty log message ***
pin
parents: 80
diff changeset
334 }
82
4bb583553a42 *** empty log message ***
pin
parents: 81
diff changeset
335 if(host.compareTo(maxHost) > 0){
79
d1877cfd131d *** empty log message ***
pin
parents: 78
diff changeset
336 //host > MaxHost なら maxHost = host
d1877cfd131d *** empty log message ***
pin
parents: 78
diff changeset
337 //masterを設定する。
d1877cfd131d *** empty log message ***
pin
parents: 78
diff changeset
338 maxHost = host;
d1877cfd131d *** empty log message ***
pin
parents: 78
diff changeset
339 sessionlist.setMaxHost(maxHost);
d1877cfd131d *** empty log message ***
pin
parents: 78
diff changeset
340 setMaster(false, channel);
d1877cfd131d *** empty log message ***
pin
parents: 78
diff changeset
341 return true;
d1877cfd131d *** empty log message ***
pin
parents: 78
diff changeset
342 }else{
d1877cfd131d *** empty log message ***
pin
parents: 78
diff changeset
343 return false;
d1877cfd131d *** empty log message ***
pin
parents: 78
diff changeset
344 }
78
8a4f92f31c58 *** empty log message ***
pin
parents: 77
diff changeset
345 }
8a4f92f31c58 *** empty log message ***
pin
parents: 77
diff changeset
346
76
97ca5f5447cd *** empty log message ***
pin
parents: 75
diff changeset
347 private void setMyHostName(String localHostName) {
97ca5f5447cd *** empty log message ***
pin
parents: 75
diff changeset
348 myHost = localHostName;
81
13819571691d *** empty log message ***
pin
parents: 80
diff changeset
349 if(maxHost == null) {
13819571691d *** empty log message ***
pin
parents: 80
diff changeset
350 maxHost = myHost;
13819571691d *** empty log message ***
pin
parents: 80
diff changeset
351 sessionlist.setMaxHost(maxHost);
13819571691d *** empty log message ***
pin
parents: 80
diff changeset
352 }
77
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
353 allEditorList.setHost(myHost);
76
97ca5f5447cd *** empty log message ***
pin
parents: 75
diff changeset
354 }
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
355
77
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
356 private void setMaster(boolean b, SocketChannel channel) {
75
a636b651dbce *** empty log message ***
pin
parents: 74
diff changeset
357 isMaster = b;
a636b651dbce *** empty log message ***
pin
parents: 74
diff changeset
358 System.out.println("isMaster = " + b);
77
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
359 smList.setMaster(channel);
75
a636b651dbce *** empty log message ***
pin
parents: 74
diff changeset
360 }
a636b651dbce *** empty log message ***
pin
parents: 74
diff changeset
361
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
362 public static void main(String[] args) throws InterruptedException, IOException {
6
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
363 int port = 8766;
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
364
82
4bb583553a42 *** empty log message ***
pin
parents: 81
diff changeset
365 if(args.length > 0){
39
c873ee0318f8 *** empty log message ***
pin
parents: 38
diff changeset
366 port = Integer.parseInt(args[0]);
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
367 }
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
368 SessionManager sm = new SessionManager(port);
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
369 sm.openSelector();
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
370 sm.openWindow();
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
371 sm.sessionManagerNet(port);
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
372 }
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
373
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
374 private void openWindow() {
83
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
375 Thread th = new Thread( gui );
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
376 th.start();
75
a636b651dbce *** empty log message ***
pin
parents: 74
diff changeset
377 //System.out.println(sessionmanagerGUI.toString());
83
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
378 gui.addConnectionListener(this);
9381b4734a0b *** empty log message ***
pin
parents: 82
diff changeset
379 gui.addREPActionListener(this);
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
380 }
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
381
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
382 private void connectSession(String host) {
6
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
383 int port = 8766;
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
384 InetSocketAddress addr = new InetSocketAddress(host, port);
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
385 try {
6
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
386 SocketChannel sessionchannel = SocketChannel.open();
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
387 sessionchannel.configureBlocking(true);
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
388 sessionchannel.connect(addr);
6
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
389 while(!sessionchannel.finishConnect()){
77
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
390 System.out.print("test afro");
6
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
391 }
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
392 System.out.println("");
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
393 registerChannel(selector, sessionchannel, SelectionKey.OP_READ);
45
10f1adf6d74d *** empty log message ***
pin
parents: 39
diff changeset
394
77
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
395 sm_join(sessionchannel);
45
10f1adf6d74d *** empty log message ***
pin
parents: 39
diff changeset
396
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
397 }catch (IOException e) {
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
398 e.printStackTrace();
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
399 }
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
400 }
77
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
401
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
402 private void sm_join(SocketChannel channel){
79
d1877cfd131d *** empty log message ***
pin
parents: 78
diff changeset
403
d1877cfd131d *** empty log message ***
pin
parents: 78
diff changeset
404 //SM_JOINコマンドを生成。
77
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
405 REPCommand command = new REPCommand();
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
406 command.setCMD(REP.SMCMD_SM_JOIN);
79
d1877cfd131d *** empty log message ***
pin
parents: 78
diff changeset
407
d1877cfd131d *** empty log message ***
pin
parents: 78
diff changeset
408 //hostnameをセット。
82
4bb583553a42 *** empty log message ***
pin
parents: 81
diff changeset
409 setMyHostName(getLocalHostName(channel));
4bb583553a42 *** empty log message ***
pin
parents: 81
diff changeset
410
4bb583553a42 *** empty log message ***
pin
parents: 81
diff changeset
411 //XMLを生成。送信コマンドにセット。
77
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
412 SessionXMLEncoder encoder = new SessionXMLEncoder(sessionlist);
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
413 String string = encoder.sessionListToXML();
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
414 command.setString(string);
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
415
79
d1877cfd131d *** empty log message ***
pin
parents: 78
diff changeset
416 //SM_JOINコマンドを送信。
77
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
417 REPPacketSend send = new REPPacketSend(channel);
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
418 send.send(command);
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
419
79
d1877cfd131d *** empty log message ***
pin
parents: 78
diff changeset
420 //SessionManagerのListに追加。
77
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
421 smList.add(channel);
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
422 }
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
423
75
a636b651dbce *** empty log message ***
pin
parents: 74
diff changeset
424 private String getLocalHostName(SocketChannel channel) {
74
391d44c94799 *** empty log message ***
pin
parents: 73
diff changeset
425 String host = null;
391d44c94799 *** empty log message ***
pin
parents: 73
diff changeset
426 host = channel.socket().getLocalAddress().getHostName();
391d44c94799 *** empty log message ***
pin
parents: 73
diff changeset
427 return host;
391d44c94799 *** empty log message ***
pin
parents: 73
diff changeset
428 }
391d44c94799 *** empty log message ***
pin
parents: 73
diff changeset
429
77
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
430 // private String getSocketString(SocketChannel sessionchannel) {
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
431 // SocketAddress socket = sessionchannel.socket().getRemoteSocketAddress();
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
432 // //String inetAddressString = sessionchannel.socket().getInetAddress().toString();
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
433 // StringTokenizer stn = new StringTokenizer(socket.toString(), "/");
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
434 // String socketString = null;
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
435 // while(stn.hasMoreTokens()){
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
436 // socketString = stn.nextToken();
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
437 // //System.out.println(socketString);
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
438 // }
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
439 // return socketString;
eb78312ea831 *** empty log message ***
pin
parents: 76
diff changeset
440 // }
14
47633cfb92d3 *** empty log message ***
pin
parents: 13
diff changeset
441
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
442 public void connectionOccured(ConnectionEvent event) {
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
443 connectSession(event.getHost());
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
444 }
8
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
445
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
446 public void ActionOccured(REPActionEvent event) {
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
447 System.out.println("Action!");
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
448 SocketChannel editorChannel = event.getEditorChannel();
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
449 int sid = event.getSID();
84
54334d83194a *** empty log message ***
pin
parents: 83
diff changeset
450 //int eid = 0;
70
248d774be113 *** empty log message ***
pin
parents: 69
diff changeset
451 //int eid = event.getEID();
248d774be113 *** empty log message ***
pin
parents: 69
diff changeset
452 //sessionlist.addEditor(editorChannel, sid, eid);
248d774be113 *** empty log message ***
pin
parents: 69
diff changeset
453 Editor editor = new Editor(editorChannel);
248d774be113 *** empty log message ***
pin
parents: 69
diff changeset
454 Session session = sessionlist.getSession(sid);
248d774be113 *** empty log message ***
pin
parents: 69
diff changeset
455 session.addEditor(editor);
248d774be113 *** empty log message ***
pin
parents: 69
diff changeset
456
72
3cdf2d6d99d9 *** empty log message ***
pin
parents: 71
diff changeset
457 Editor master = session.getMaster();
3cdf2d6d99d9 *** empty log message ***
pin
parents: 71
diff changeset
458
3cdf2d6d99d9 *** empty log message ***
pin
parents: 71
diff changeset
459 REPCommand command = new REPCommand();
3cdf2d6d99d9 *** empty log message ***
pin
parents: 71
diff changeset
460 command.setCMD(REP.SMCMD_SELECT);
3cdf2d6d99d9 *** empty log message ***
pin
parents: 71
diff changeset
461 command.setSID(sid);
84
54334d83194a *** empty log message ***
pin
parents: 83
diff changeset
462 command.setString(editor.getHost() + ":" + editor.getPort());
72
3cdf2d6d99d9 *** empty log message ***
pin
parents: 71
diff changeset
463
3cdf2d6d99d9 *** empty log message ***
pin
parents: 71
diff changeset
464 master.send(command);
3cdf2d6d99d9 *** empty log message ***
pin
parents: 71
diff changeset
465
84
54334d83194a *** empty log message ***
pin
parents: 83
diff changeset
466 //REPPacketSend send = new REPPacketSend(editorChannel);
54334d83194a *** empty log message ***
pin
parents: 83
diff changeset
467 //send.send(new REPCommand(REP.SMCMD_SELECT_ACK, sid, eid, 0,0,0,""));
72
3cdf2d6d99d9 *** empty log message ***
pin
parents: 71
diff changeset
468
3cdf2d6d99d9 *** empty log message ***
pin
parents: 71
diff changeset
469
3cdf2d6d99d9 *** empty log message ***
pin
parents: 71
diff changeset
470
71
f03307651df8 *** empty log message ***
pin
parents: 70
diff changeset
471 //sessionlist.sendSelect(sid);
8
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
472 }
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
473 }