annotate rep/SessionManager.java @ 8:b774b87cc2c1

*** empty log message ***
author pin
date Fri, 19 Oct 2007 15:34:27 +0900
parents 5067a6a93d01
children 2d4c2c19d2d0
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;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
5 import java.net.ServerSocket;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
6 import java.nio.ByteBuffer;
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
7 import java.nio.channels.SelectableChannel;
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
8 import java.nio.channels.SelectionKey;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
9 import java.nio.channels.Selector;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
10 import java.nio.channels.ServerSocketChannel;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
11 import java.nio.channels.SocketChannel;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
12 import java.nio.charset.Charset;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
13 import java.util.Iterator;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
14
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
15 //+-------+--------+--------+-------+--------+---------+------+
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
16 //| cmd | session| editor | seqid | lineno | textsiz | text |
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
17 //| | id | id | | | | |
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
18 //+-------+--------+--------+-------+--------+---------+------+
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
19 //o-------header section (network order)-------------o
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
20 /*int cmd; // command
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
21 int sid; // session ID
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
22 int eid; // editor ID
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
23 int seqno; // Sequence number
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
24 int lineno; // line number
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
25 int textsize; // textsize
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
26 byte[] text;*/
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
27
8
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
28 public class SessionManager implements ConnectionListener, REPActionListener{
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
29
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
30
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
31 private SessionList sessionlist;
5
91a33a634fef *** empty log message ***
pin
parents: 3
diff changeset
32 //SocketChannel sessionchannel;
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
33 private SessionManagerGUI sessionmanagerGUI;
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
34 private Selector selector;
7
5067a6a93d01 *** empty log message ***
pin
parents: 6
diff changeset
35 private SessionManagerList smList;
6
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
36 //private SocketChannel sessionchannel;
7
5067a6a93d01 *** empty log message ***
pin
parents: 6
diff changeset
37 //private boolean co;
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
38 public SessionManager(int port) {
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
39 sessionmanagerGUI = new SessionManagerGUI();
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
40 }
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
41
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
42 public void openSelector() throws IOException{
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
43 selector = Selector.open();
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
44 }
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
45
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
46 public void sessionManagerNet(int port) throws InterruptedException, IOException {
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
47 /**
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
48 * @param args
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
49 * @throws IOException
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
50 * @throws InterruptedException
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
51 * @throws IOException
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
52 * @throws InterruptedException
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
53 */
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
54 System.out.println("sessionManagerNet()");
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
55
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
56 ServerSocketChannel ssc = ServerSocketChannel.open();
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
57 ssc.configureBlocking(false);
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
58 ssc.socket().bind(new InetSocketAddress(port));
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
59 ssc.register(selector, SelectionKey.OP_ACCEPT);
6
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
60
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
61
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
62 sessionlist = new SessionList();
7
5067a6a93d01 *** empty log message ***
pin
parents: 6
diff changeset
63 smList = new SessionManagerList();
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()){
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
69 SocketChannel channel = ssc.accept();
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
70 registerChannel (selector, channel, SelectionKey.OP_READ);
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
71 channel = null;
6
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
72 }else if(key.isReadable()){
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
73 SocketChannel channel = (SocketChannel)key.channel();
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
74 REPPacketReceive repRec = new REPPacketReceive(channel);
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
75 REPCommand repCom = repRec.unpack();
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
76 manager(channel, repCom);
6
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
77 }else if(key.isConnectable()){
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
78 System.out.println("Connectable");
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
79 }
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
80 }
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
81 }
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
82 }
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
83
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
84 private synchronized void registerChannel(Selector selector, SelectableChannel channel, int ops) throws IOException {
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
85 if(channel == null) {
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
86 return;
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
87 }
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
88 System.out.println("registerChannel()");
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
89 channel.configureBlocking(false);
6
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
90 selector.wakeup();
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
91 channel.register(selector, ops);
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
92 }
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
93
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
94 private void manager(SocketChannel channel, REPCommand repCmd) {
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
95 if(repCmd == null) return;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
96 switch(repCmd.cmd){
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
97 case REP.SMCMD_JOIN:
8
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
98 int eid = sessionlist.getNumberOfEditor(); //eidを取得
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
99 sessionmanagerGUI.setComboEditor(eid, channel); //ComboBoxにEditorを追加
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
100 repCmd.setEID(eid); //eidを決定して、
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
101 repCmd.setCMD(repCmd.cmd + 1); //ACKを返す
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
102 repCmd.string = sessionlist.getSessionList(); //Session一覧を
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
103 REPPacketSend repSend = new REPPacketSend(channel); //Editor側へ送信
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
104 repSend.send(repCmd);
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
105 break;
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
106 case REP.SMCMD_JOIN_ACK:
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
107
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
108 break;
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
109 case REP.SMCMD_PUT:
8
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
110 int sessionID = sessionlist.addSession(channel, repCmd.string); //SIDを取得
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
111 smList.update(sessionID, repCmd.string); //updateコマンド:Session生成を通知
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
112 sessionmanagerGUI.setComboSession(sessionID, repCmd.string);
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
113 repCmd.setSID(sessionID); //SIDをセット
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
114 repCmd.setCMD(repCmd.cmd + 1); //ACKを返す
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
115 REPPacketSend repSend2 = new REPPacketSend(channel);
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
116 repSend2.send(repCmd);
8
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
117 //sessionlist.sendAddedSession(repCmd);
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
118 break;
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
119 case REP.SMCMD_PUT_ACK:
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
120 break;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
121 case REP.SMCMD_SELECT:
8
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
122 sessionlist.addEditor(channel, repCmd.sid, repCmd); //sessionlistへ追加
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
123 repCmd.setCMD(repCmd.cmd + 1);
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
124 REPPacketSend repSend3 = new REPPacketSend(channel);
8
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
125 repSend3.send(repCmd); //ACKを返す
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
126 break;
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
127 case REP.SMCMD_SELECT_ACK:
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
128 break;
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
129 case REP.SMCMD_SESSION:
8
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
130 //repCmd.setCMD(REP.SMCMD_SESSION_ACK);
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
131 //sessionlist.addSessionManager(channel, repCmd);
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
132 break;
8
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
133 case REP.SMCMD_SM_JOIN:
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
134 smList.add(channel); //SessionManagerのリストへ追加
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
135 repCmd.setCMD(repCmd.cmd + 1);
6
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
136 REPPacketSend repSend4 = new REPPacketSend(channel);
8
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
137 repSend4.send(repCmd); //ACK
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
138 break;
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
139 case REP.SMCMD_SM_JOIN_ACK:
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
140 smList.add(channel); //SessionManagerのリストへ追加
6
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
141 break;
8
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
142 case REP.SMCMD_UPDATE:
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
143 int sessionID2 = sessionlist.addSession(channel, repCmd.string);
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
144 //sessionlist.sendAddedSession(repCmd);
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
145 sessionmanagerGUI.setComboSession(sessionID2, repCmd.string);
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
146 break;
3
f31fcac5a949 *** empty log message ***
pin
parents: 2
diff changeset
147 case REP.REPCMD_READ:
f31fcac5a949 *** empty log message ***
pin
parents: 2
diff changeset
148 sessionlist.sendCmd(channel, repCmd);
f31fcac5a949 *** empty log message ***
pin
parents: 2
diff changeset
149 break;
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
150 default:
8
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
151 sessionlist.sendCmd(channel, repCmd, true);
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
152 //sessionlist.sendToNextEditor(channel, repCmd);
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
153 break;
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
154
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
155 }
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
156 }
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
157
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
158 public static void main(String[] args) throws InterruptedException, IOException {
6
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
159 int port = 8766;
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
160
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
161 if(args.length == 1){
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
162 port = Integer.parseInt(args[1]);
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
163 }
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
164 SessionManager sm = new SessionManager(port);
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
165 sm.openSelector();
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
166 sm.openWindow();
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
167 sm.sessionManagerNet(port);
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
168 }
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
169
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
170 private void openWindow() {
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
171 Thread th = new Thread( sessionmanagerGUI );
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
172 th.start();
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
173 System.out.println(sessionmanagerGUI.toString());
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
174 sessionmanagerGUI.addConnectionListener(this);
8
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
175 sessionmanagerGUI.addREPActionListener(this);
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
176 }
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
177
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
178 private void connectSession(String host) {
6
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
179 int port = 8766;
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
180 //SocketChannel sessionchannel;
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
181 //int port = Integer.parseInt(args[2]);
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
182 InetSocketAddress addr = new InetSocketAddress(host, port);
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
183 try {
6
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
184 SocketChannel sessionchannel = SocketChannel.open();
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
185 sessionchannel.configureBlocking(true);
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
186 sessionchannel.connect(addr);
6
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
187 REPPacketSend send = new REPPacketSend(sessionchannel);
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
188 while(!sessionchannel.finishConnect()){
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
189 System.out.print(".");
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
190 }
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
191 System.out.println("");
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
192 registerChannel(selector, sessionchannel, SelectionKey.OP_READ);
6
bdb91f4cea26 It Can connect SessionManagers each other.
pin
parents: 5
diff changeset
193 send.send(REPCommand.SMCMD_SESSION_JOIN);
7
5067a6a93d01 *** empty log message ***
pin
parents: 6
diff changeset
194 smList.add(sessionchannel);
1
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
195 }catch (IOException e) {
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
196 e.printStackTrace();
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
197 }
3f5bf0255f5e *** empty log message ***
pin
parents: 0
diff changeset
198 }
2
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
199
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
200 public void connectionOccured(ConnectionEvent event) {
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
201 connectSession(event.getHost());
02fa9a68d9a2 *** empty log message ***
pin
parents: 1
diff changeset
202 }
8
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
203
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
204 public void ActionOccured(REPActionEvent event) {
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
205 // TODO Auto-generated method stub
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
206 System.out.println("Action!");
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
207 SocketChannel editorChannel = event.getEditorChannel();
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
208 int sid = event.getSID();
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
209 int eid = event.getEID();
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
210 sessionlist.addEditor(editorChannel, sid, eid);
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
211 REPPacketSend send = new REPPacketSend(editorChannel);
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
212 send.send(new REPCommand(REP.SMCMD_SELECT_ACK, sid, eid, 0,0,0,""));
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
213 sessionlist.sendSelect(sid);
b774b87cc2c1 *** empty log message ***
pin
parents: 7
diff changeset
214 }
0
e41994ce73c7 *** empty log message ***
pin
parents:
diff changeset
215 }