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