annotate src/main/java/com/glavsoft/rfb/protocol/ReceiverTask.java @ 275:0f9b3de45fb2

set main display size.
author oc
date Tue, 06 Jan 2015 19:07:27 +0900
parents d3a921d16121
children 0309ea3a4f4e
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
57
17b702648079 version2.7.2 original version.
Taninari YU <you@cr.ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
1 // Copyright (C) 2010, 2011, 2012, 2013 GlavSoft LLC.
0
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 // All rights reserved.
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 //
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 //-------------------------------------------------------------------------
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 // This file is part of the TightVNC software. Please visit our Web site:
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 //
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 // http://www.tightvnc.com/
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 //
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 // This program is free software; you can redistribute it and/or modify
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 // it under the terms of the GNU General Public License as published by
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 // the Free Software Foundation; either version 2 of the License, or
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 // (at your option) any later version.
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 //
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 // This program is distributed in the hope that it will be useful,
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 // but WITHOUT ANY WARRANTY; without even the implied warranty of
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 // GNU General Public License for more details.
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 //
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 // You should have received a copy of the GNU General Public License along
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
20 // with this program; if not, write to the Free Software Foundation, Inc.,
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 // 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
22 //-------------------------------------------------------------------------
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
23 //
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
24
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
25 package com.glavsoft.rfb.protocol;
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
26
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 import com.glavsoft.drawing.Renderer;
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
28 import com.glavsoft.exceptions.CommonException;
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
29 import com.glavsoft.exceptions.ProtocolException;
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
30 import com.glavsoft.exceptions.TransportException;
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
31 import com.glavsoft.rfb.ClipboardController;
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
32 import com.glavsoft.rfb.IRepaintController;
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
33 import com.glavsoft.rfb.client.FramebufferUpdateRequestMessage;
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
34 import com.glavsoft.rfb.client.SetPixelFormatMessage;
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
35 import com.glavsoft.rfb.encoding.EncodingType;
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
36 import com.glavsoft.rfb.encoding.PixelFormat;
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
37 import com.glavsoft.rfb.encoding.decoder.Decoder;
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
38 import com.glavsoft.rfb.encoding.decoder.DecodersContainer;
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
39 import com.glavsoft.rfb.encoding.decoder.FramebufferUpdateRectangle;
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
40 import com.glavsoft.rfb.encoding.decoder.RichCursorDecoder;
66
84ad879891e9 dont move
Taninari YU <you@cr.ie.u-ryukyu.ac.jp>
parents: 65
diff changeset
41 import com.glavsoft.rfb.encoding.decoder.ZRLEESender;
0
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
42 import com.glavsoft.transport.Reader;
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
43
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
44 import java.io.PrintWriter;
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
45 import java.io.StringWriter;
167
1d3fa20b86bb update remoteDesktopName.
oc
parents: 166
diff changeset
46 import java.io.UnsupportedEncodingException;
255
a931be447973 add framebufferUpdateRecuest timer
oc
parents: 254
diff changeset
47 import java.util.Timer;
a931be447973 add framebufferUpdateRecuest timer
oc
parents: 254
diff changeset
48 import java.util.TimerTask;
0
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
49 import java.util.logging.Logger;
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
50
230
f4ea9ff04741 reply checkdelay
oc
parents: 229
diff changeset
51 import jp.ac.u_ryukyu.treevnc.CheckDelayReply;
239
d655db005535 create sendCheckDelay Socket.
oc
parents: 237
diff changeset
52 import jp.ac.u_ryukyu.treevnc.SendCheckDelay;
207
b31903e5b02d rename myRFBProto
oc
parents: 206
diff changeset
53 import jp.ac.u_ryukyu.treevnc.TreeRFBProto;
206
2b3eb4a9492f MyRfbProto reorganization
oc
parents: 204
diff changeset
54 import jp.ac.u_ryukyu.treevnc.TreeVncProtocol;
231
0e0e6744432c get new nodeList for checkDelay.
oc
parents: 230
diff changeset
55
35
1b81deb0abb3 write a little part reconnection.
one
parents: 28
diff changeset
56
0
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
57 public class ReceiverTask implements Runnable {
224
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
58 private static final byte FRAMEBUFFER_UPDATE = 0;
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
59 private static final byte SET_COLOR_MAP_ENTRIES = 1;
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
60 private static final byte BELL = 2;
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
61 private static final byte SERVER_CUT_TEXT = 3;
0
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
62
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
63
224
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
64 private static Logger logger = Logger.getLogger("com.glavsoft.rfb.protocol.ReceiverTask");
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
65 private final Reader reader;
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
66 private volatile boolean isRunning = false;
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
67 private Renderer renderer;
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
68 private final IRepaintController repaintController;
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
69 private final ClipboardController clipboardController;
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
70 protected final DecodersContainer decoders;
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
71 protected FramebufferUpdateRequestMessage fullscreenFbUpdateIncrementalRequest;
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
72 protected final ProtocolContext context;
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
73 protected PixelFormat pixelFormat;
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
74 protected boolean needSendPixelFormat;
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
75 private TreeRFBProto rfb;
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
76 private long checkCounter = 0;
239
d655db005535 create sendCheckDelay Socket.
oc
parents: 237
diff changeset
77 private boolean firstTime = true;
248
e6abf4b0c92e add numberOfRectangle in checkDelay
Miwa Oshiro <e115747@ie.u-ryukyu.ac.jp>
parents: 246
diff changeset
78 public int numberOfRectangles = 0;
255
a931be447973 add framebufferUpdateRecuest timer
oc
parents: 254
diff changeset
79 private Timer timer = null;
275
0f9b3de45fb2 set main display size.
oc
parents: 272
diff changeset
80 int singleWidth = 0;
224
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
81
255
a931be447973 add framebufferUpdateRecuest timer
oc
parents: 254
diff changeset
82
224
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
83 public ReceiverTask(Reader reader,
275
0f9b3de45fb2 set main display size.
oc
parents: 272
diff changeset
84 IRepaintController repaintController, ClipboardController clipboardController,
0f9b3de45fb2 set main display size.
oc
parents: 272
diff changeset
85 DecodersContainer decoders, ProtocolContext context,
0f9b3de45fb2 set main display size.
oc
parents: 272
diff changeset
86 TreeRFBProto _rfb) {
224
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
87 rfb = _rfb;
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
88 this.reader = reader;
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
89 this.repaintController = repaintController;
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
90 this.clipboardController = clipboardController;
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
91 this.context = context;
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
92 this.decoders = decoders;
178
34b7558aeffa remove TreeTask, StartTreeHandling
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 176
diff changeset
93
224
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
94 Decoder decoder = new ZRLEESender(rfb);
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
95 decoders.setDecoderByType(EncodingType.ZLIB, decoder);
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
96 decoders.setDecoderByType(EncodingType.ZRLE, decoder);
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
97 decoders.setDecoderByType(EncodingType.ZRLEE, decoder);
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
98
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
99 if(!rfb.getCuiVersion())
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
100 renderer = repaintController.createRenderer(reader, context.getFbWidth(), context.getFbHeight(),context.getPixelFormat());
255
a931be447973 add framebufferUpdateRecuest timer
oc
parents: 254
diff changeset
101 fullscreenFbUpdateIncrementalRequest = new FramebufferUpdateRequestMessage(0, 0, context.getFbWidth(), context.getFbHeight(), true);
224
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
102 if(rfb.isTreeManager()) {
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
103 fullscreenFbUpdateIncrementalRequest.sendFullScreenRequest();
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
104 connectionFinished();
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
105 }
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
106 }
178
34b7558aeffa remove TreeTask, StartTreeHandling
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 176
diff changeset
107
224
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
108 @Override
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
109 public void run() {
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
110 isRunning = true;
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
111 while (isRunning) {
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
112 try {
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
113 if(! rfb.isTreeManager()) {
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
114 // client has 8byte packet sequence number
242
a640cd7001e1 fix checkdelay, and fix serial number option
oc
parents: 241
diff changeset
115 // add serial number flag (4byte)
a640cd7001e1 fix checkdelay, and fix serial number option
oc
parents: 241
diff changeset
116 reader.mark(20+8+4);
a640cd7001e1 fix checkdelay, and fix serial number option
oc
parents: 241
diff changeset
117 getLost(reader); //check seq consistency
224
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
118 } else {
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
119 reader.mark(20);
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
120 }
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
121 byte messageId = reader.readByte();
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
122 switch (messageId) {
275
0f9b3de45fb2 set main display size.
oc
parents: 272
diff changeset
123 case FRAMEBUFFER_UPDATE:
0f9b3de45fb2 set main display size.
oc
parents: 272
diff changeset
124 // logger.fine("Server message: FramebufferUpdate (0)");
0f9b3de45fb2 set main display size.
oc
parents: 272
diff changeset
125 framebufferUpdateMessage();
0f9b3de45fb2 set main display size.
oc
parents: 272
diff changeset
126 break;
0f9b3de45fb2 set main display size.
oc
parents: 272
diff changeset
127 case SET_COLOR_MAP_ENTRIES:
0f9b3de45fb2 set main display size.
oc
parents: 272
diff changeset
128 logger.severe("Server message SetColorMapEntries is not implemented. Skip.");
0f9b3de45fb2 set main display size.
oc
parents: 272
diff changeset
129 setColorMapEntries();
0f9b3de45fb2 set main display size.
oc
parents: 272
diff changeset
130 break;
0f9b3de45fb2 set main display size.
oc
parents: 272
diff changeset
131 case BELL:
0f9b3de45fb2 set main display size.
oc
parents: 272
diff changeset
132 logger.fine("Server message: Bell");
0f9b3de45fb2 set main display size.
oc
parents: 272
diff changeset
133 // System.out.print("\0007");
0f9b3de45fb2 set main display size.
oc
parents: 272
diff changeset
134 // System.out.flush();
0f9b3de45fb2 set main display size.
oc
parents: 272
diff changeset
135 break;
0f9b3de45fb2 set main display size.
oc
parents: 272
diff changeset
136 case SERVER_CUT_TEXT:
0f9b3de45fb2 set main display size.
oc
parents: 272
diff changeset
137 logger.fine("Server message: CutText (3)");
0f9b3de45fb2 set main display size.
oc
parents: 272
diff changeset
138 serverCutText();
0f9b3de45fb2 set main display size.
oc
parents: 272
diff changeset
139 break;
0f9b3de45fb2 set main display size.
oc
parents: 272
diff changeset
140 default:
0f9b3de45fb2 set main display size.
oc
parents: 272
diff changeset
141 logger.severe("Unsupported server message. Id = " + messageId);
224
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
142 }
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
143 } catch (TransportException e) {
133
70cbec526039 connection handling
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 125
diff changeset
144 logger.severe("Close session: " + e.getMessage());
224
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
145 if(!rfb.isTreeManager() && !(rfb.getTerminationType())) {
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
146 System.out.println("task stop");
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
147 TreeVncProtocol echo = new TreeVncProtocol(rfb.getConnectionParam().getHostName(), rfb.getConnectionParam().getPort());
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
148 int counter = 3;
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
149 while(counter-- > 0) {
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
150 try {
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
151 if (rfb.isLeader()) {
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
152 echo.lostParent(rfb.getMyAddress(),rfb.getAcceptPort());
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
153 }
145
649794dfb9d5 add my hostname to handle multiple network
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 135
diff changeset
154 break;
133
70cbec526039 connection handling
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 125
diff changeset
155 } catch (Exception e1) {
70cbec526039 connection handling
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 125
diff changeset
156 logger.severe("Cannot send lostHost: " + e1.getMessage());
145
649794dfb9d5 add my hostname to handle multiple network
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 135
diff changeset
157 sleep(3000);
133
70cbec526039 connection handling
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 125
diff changeset
158 }
224
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
159 }
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
160 }
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
161 stopTask();
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
162 } catch (ProtocolException e) {
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
163 logger.severe(e.getMessage());
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
164 if (isRunning) {
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
165 context.cleanUpSession(e.getMessage() + "\nConnection closed.");
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
166 }
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
167 stopTask();
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
168 } catch (CommonException e) {
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
169 logger.severe(e.getMessage());
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
170 if (isRunning) {
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
171 context.cleanUpSession("Connection closed..");
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
172 }
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
173 stopTask();
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
174 } catch (Throwable te) {
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
175 StringWriter sw = new StringWriter();
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
176 PrintWriter pw = new PrintWriter(sw);
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
177 te.printStackTrace(pw);
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
178 logger.severe(te.getMessage());
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
179 if (isRunning) {
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
180 context.cleanUpSession(te.getMessage() + "\n" + sw.toString());
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
181 }
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
182 stopTask();
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
183 }
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
184 }
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
185 }
0
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
186
224
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
187 private void sleep(int i) {
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
188 try {
145
649794dfb9d5 add my hostname to handle multiple network
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 135
diff changeset
189 Thread.sleep(i);
649794dfb9d5 add my hostname to handle multiple network
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 135
diff changeset
190 } catch (InterruptedException e) {
649794dfb9d5 add my hostname to handle multiple network
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 135
diff changeset
191 // nothing.
649794dfb9d5 add my hostname to handle multiple network
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 135
diff changeset
192 }
649794dfb9d5 add my hostname to handle multiple network
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 135
diff changeset
193 }
649794dfb9d5 add my hostname to handle multiple network
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 135
diff changeset
194
649794dfb9d5 add my hostname to handle multiple network
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 135
diff changeset
195
649794dfb9d5 add my hostname to handle multiple network
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 135
diff changeset
196 private void setColorMapEntries() throws TransportException {
224
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
197 reader.readByte(); // padding
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
198 reader.readUInt16(); // first color index
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
199 int length = reader.readUInt16();
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
200 while (length-- > 0) {
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
201 reader.readUInt16(); // R
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
202 reader.readUInt16(); // G
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
203 reader.readUInt16(); // B
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
204 }
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
205 }
0
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
206
224
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
207 private void serverCutText() throws TransportException {
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
208 reader.readByte(); // padding
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
209 reader.readInt16(); // padding
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
210 int length = reader.readInt32() & Integer.MAX_VALUE;
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
211 clipboardController.updateSystemClipboard(reader.readBytes(length));
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
212 }
0
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
213
224
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
214 public void framebufferUpdateMessage() throws CommonException, UnsupportedEncodingException {
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
215 reader.readByte(); // padding
248
e6abf4b0c92e add numberOfRectangle in checkDelay
Miwa Oshiro <e115747@ie.u-ryukyu.ac.jp>
parents: 246
diff changeset
216
e6abf4b0c92e add numberOfRectangle in checkDelay
Miwa Oshiro <e115747@ie.u-ryukyu.ac.jp>
parents: 246
diff changeset
217 this.numberOfRectangles = reader.readUInt16();
250
45cb40bf0d74 put framebufferUpdate size
oc
parents: 248
diff changeset
218
45cb40bf0d74 put framebufferUpdate size
oc
parents: 248
diff changeset
219 if(numberOfRectangles != 1)
45cb40bf0d74 put framebufferUpdate size
oc
parents: 248
diff changeset
220 System.out.println("numberofrectangle : " + numberOfRectangles);
248
e6abf4b0c92e add numberOfRectangle in checkDelay
Miwa Oshiro <e115747@ie.u-ryukyu.ac.jp>
parents: 246
diff changeset
221
275
0f9b3de45fb2 set main display size.
oc
parents: 272
diff changeset
222 if(rfb.isTreeManager() && firstTime) {
255
a931be447973 add framebufferUpdateRecuest timer
oc
parents: 254
diff changeset
223 if(rfb.checkDelay) {
a931be447973 add framebufferUpdateRecuest timer
oc
parents: 254
diff changeset
224 SendCheckDelay sendCheckDelay = new SendCheckDelay(rfb);
a931be447973 add framebufferUpdateRecuest timer
oc
parents: 254
diff changeset
225 Thread sendCheckDelayThread = new Thread(sendCheckDelay, "send-check-delay");
a931be447973 add framebufferUpdateRecuest timer
oc
parents: 254
diff changeset
226 sendCheckDelayThread.start();
a931be447973 add framebufferUpdateRecuest timer
oc
parents: 254
diff changeset
227 }
257
11b59b223222 add function of fixing display size
oc
parents: 256
diff changeset
228 if(rfb.fixingSize) {
256
dfec8bc1eb8e fix --retina option
oc
parents: 255
diff changeset
229 timer = new Timer(true);
dfec8bc1eb8e fix --retina option
oc
parents: 255
diff changeset
230 timer.schedule(new TimerTask() {
dfec8bc1eb8e fix --retina option
oc
parents: 255
diff changeset
231 @Override
dfec8bc1eb8e fix --retina option
oc
parents: 255
diff changeset
232 public void run() {
267
5f697251860b add --filterSingleDisplay option.
oc
parents: 265
diff changeset
233 context.setFbWidth(rfb.fixingSizeWidth);
5f697251860b add --filterSingleDisplay option.
oc
parents: 265
diff changeset
234 context.setFbHeight(rfb.fixingSizeHeight);
256
dfec8bc1eb8e fix --retina option
oc
parents: 255
diff changeset
235 context.sendMessage(new FramebufferUpdateRequestMessage(0, 0, context.getFbWidth(), context.getFbHeight(), true));
dfec8bc1eb8e fix --retina option
oc
parents: 255
diff changeset
236 }
dfec8bc1eb8e fix --retina option
oc
parents: 255
diff changeset
237 }, 0, 100);
dfec8bc1eb8e fix --retina option
oc
parents: 255
diff changeset
238 }
275
0f9b3de45fb2 set main display size.
oc
parents: 272
diff changeset
239 this.firstTime = false;
0f9b3de45fb2 set main display size.
oc
parents: 272
diff changeset
240 }
248
e6abf4b0c92e add numberOfRectangle in checkDelay
Miwa Oshiro <e115747@ie.u-ryukyu.ac.jp>
parents: 246
diff changeset
241
250
45cb40bf0d74 put framebufferUpdate size
oc
parents: 248
diff changeset
242 while (numberOfRectangles-- > 0) {
224
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
243 FramebufferUpdateRectangle rect = new FramebufferUpdateRectangle();
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
244 rect.fill(reader);
250
45cb40bf0d74 put framebufferUpdate size
oc
parents: 248
diff changeset
245
252
eee9a8f53dbc change check delay log
oc
parents: 250
diff changeset
246 long time = System.currentTimeMillis();
256
dfec8bc1eb8e fix --retina option
oc
parents: 255
diff changeset
247 if(rfb.isTreeManager() && rfb.checkDelay)
252
eee9a8f53dbc change check delay log
oc
parents: 250
diff changeset
248 System.out.println(time + " : size : " + rect.width * rect.height);
250
45cb40bf0d74 put framebufferUpdate size
oc
parents: 248
diff changeset
249
224
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
250 Decoder decoder = decoders.getDecoderByType(rect.getEncodingType());
250
45cb40bf0d74 put framebufferUpdate size
oc
parents: 248
diff changeset
251 logger.finest(rect.toString() + (0 == numberOfRectangles ? "\n---" : ""));
224
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
252 if (decoder != null) {
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
253 decoder.decode(reader, renderer, rect); // TreeVNC processing here
267
5f697251860b add --filterSingleDisplay option.
oc
parents: 265
diff changeset
254 if(!(rfb.getCuiVersion())) {
270
2d934eee4f4b small fix
oc
parents: 269
diff changeset
255 if (rfb.filterSingleDisplay) {
275
0f9b3de45fb2 set main display size.
oc
parents: 272
diff changeset
256 if (rect.x < rfb.singleWidth) {
270
2d934eee4f4b small fix
oc
parents: 269
diff changeset
257 repaintController.repaintBitmap(rect);
2d934eee4f4b small fix
oc
parents: 269
diff changeset
258 }
2d934eee4f4b small fix
oc
parents: 269
diff changeset
259 } else {
2d934eee4f4b small fix
oc
parents: 269
diff changeset
260 repaintController.repaintBitmap(rect);
2d934eee4f4b small fix
oc
parents: 269
diff changeset
261 }
267
5f697251860b add --filterSingleDisplay option.
oc
parents: 265
diff changeset
262 }
224
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
263 } else if (rect.getEncodingType() == EncodingType.RICH_CURSOR) {
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
264 RichCursorDecoder.getInstance().decode(reader, renderer, rect);
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
265 if(repaintController!=null)
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
266 repaintController.repaintCursor();
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
267 } else if (rect.getEncodingType() == EncodingType.CURSOR_POS) {
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
268 renderer.decodeCursorPosition(rect);
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
269 repaintController.repaintCursor();
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
270 } else if (rect.getEncodingType() == EncodingType.DESKTOP_SIZE || rect.getEncodingType() == EncodingType.INIT_DATA ) {
255
a931be447973 add framebufferUpdateRecuest timer
oc
parents: 254
diff changeset
271 fullscreenFbUpdateIncrementalRequest = new FramebufferUpdateRequestMessage(0, 0, rect.width, rect.height, false);
106
01c0fd20c0b4 share screen enable cui flag.
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 103
diff changeset
272 rfb.setCuiVersion(false);
171
fab76dd9c3cd avoid deadLock on surface.
oc
parents: 170
diff changeset
273 boolean visible = true;
164
86289e56263c Send initData in server change
oc
parents: 145
diff changeset
274 if (rect.getEncodingType() == EncodingType.INIT_DATA) {
224
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
275 int length = reader.readInt32();
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
276 byte[] initData = new byte[length];
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
277 reader.read(initData);
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
278 String name = new String(initData, 24, length - 24, "UTF-8");
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
279 rfb.getContext().setRemoteDesktopName(name);
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
280 rfb.getContext().setInitData(initData);
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
281 repaintController.updateRemoteDesktopName(rfb.getContext());
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
282 reader.reset();
264
83d0256a8808 add fixing display filter.
oc
parents: 257
diff changeset
283 rfb.readSendData(length + 20, reader, null, rect); // size of UpdateRectangleMessage with initData.
224
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
284 short id = (short) rect.x;
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
285 visible = (id != rfb.getId());
164
86289e56263c Send initData in server change
oc
parents: 145
diff changeset
286 }
171
fab76dd9c3cd avoid deadLock on surface.
oc
parents: 170
diff changeset
287 synchronized (renderer.getLock()) {
224
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
288 if(!(rfb.getCuiVersion()))
255
a931be447973 add framebufferUpdateRecuest timer
oc
parents: 254
diff changeset
289 renderer = repaintController.createRenderer(reader, rect.width, rect.height, context.getPixelFormat());
171
fab76dd9c3cd avoid deadLock on surface.
oc
parents: 170
diff changeset
290 }
fab76dd9c3cd avoid deadLock on surface.
oc
parents: 170
diff changeset
291 if (rect.getEncodingType() == EncodingType.INIT_DATA) {
224
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
292 repaintController.setVisible(visible);
171
fab76dd9c3cd avoid deadLock on surface.
oc
parents: 170
diff changeset
293 }
255
a931be447973 add framebufferUpdateRecuest timer
oc
parents: 254
diff changeset
294 context.sendMessage(new FramebufferUpdateRequestMessage(0, 0, rect.width, rect.height, false));
224
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
295 // repaintController.repaintCursor();
227
2cb2279ca95c send checkdelay time.
Miwa Oshiro <e115747@ie.u-ryukyu.ac.jp>
parents: 226
diff changeset
296 } else if (rect.getEncodingType() == EncodingType.CHECK_DELAY) {
242
a640cd7001e1 fix checkdelay, and fix serial number option
oc
parents: 241
diff changeset
297 int checkDelaySize = 24;
229
5eb8aa65f387 fix checkdelay number-of-rectangle, and send checkdelay to lower node.
oc
parents: 228
diff changeset
298 reader.reset();
264
83d0256a8808 add fixing display filter.
oc
parents: 257
diff changeset
299 rfb.readSendData(checkDelaySize, reader, null, rect);
234
8479ad028ec7 fix checkdelay send and get.
oc
parents: 233
diff changeset
300 int port = rfb.acceptPort;
8479ad028ec7 fix checkdelay send and get.
oc
parents: 233
diff changeset
301 String address = rfb.getMyAddress();
8479ad028ec7 fix checkdelay send and get.
oc
parents: 233
diff changeset
302 sendCheckDelayReply(rect.time, port, address);
224
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
303 } else
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
304 throw new CommonException("Unprocessed encoding: " + rect.toString());
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
305 }
275
0f9b3de45fb2 set main display size.
oc
parents: 272
diff changeset
306
239
d655db005535 create sendCheckDelay Socket.
oc
parents: 237
diff changeset
307 if (!rfb.isTreeManager()) {
275
0f9b3de45fb2 set main display size.
oc
parents: 272
diff changeset
308 return;
239
d655db005535 create sendCheckDelay Socket.
oc
parents: 237
diff changeset
309 }
224
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
310 synchronized (this) {
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
311 if (needSendPixelFormat) {
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
312 needSendPixelFormat = false;
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
313 context.setPixelFormat(pixelFormat);
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
314 context.sendMessage(new SetPixelFormatMessage(pixelFormat));
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
315 logger.fine("sent: "+pixelFormat);
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
316 context.sendRefreshMessage();
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
317 logger.fine("sent: nonincremental fb update");
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
318 } else {
255
a931be447973 add framebufferUpdateRecuest timer
oc
parents: 254
diff changeset
319 context.sendMessage(new FramebufferUpdateRequestMessage(0, 0, context.getFbWidth(), context.getFbHeight(), false));
224
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
320 }
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
321 }
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
322 }
0
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
323
234
8479ad028ec7 fix checkdelay send and get.
oc
parents: 233
diff changeset
324 private void sendCheckDelayReply(long time, int port, String address) throws UnsupportedEncodingException {
8479ad028ec7 fix checkdelay send and get.
oc
parents: 233
diff changeset
325 context.sendMessage(new CheckDelayReply(time, port, address));
230
f4ea9ff04741 reply checkdelay
oc
parents: 229
diff changeset
326 }
f4ea9ff04741 reply checkdelay
oc
parents: 229
diff changeset
327
224
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
328 public synchronized void queueUpdatePixelFormat(PixelFormat pf) {
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
329 pixelFormat = pf;
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
330 needSendPixelFormat = true;
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
331 // context.sendMessage(new FramebufferUpdateRequestMessage(0, 0, 1, 1, false));
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
332 }
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
333
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
334 public void stopTask() {
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
335 isRunning = false;
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
336 }
0
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
337
224
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
338 private void connectionFinished() {
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
339 rfb.vncConnected(true);
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
340 }
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
341
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
342 private void getLost(Reader reader) throws Exception {
242
a640cd7001e1 fix checkdelay, and fix serial number option
oc
parents: 241
diff changeset
343 int addSerialNumFlag = reader.readInt32();
224
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
344 long num = reader.readInt64();
243
0ed7719c1800 fix serial number option.
oc
parents: 242
diff changeset
345 if (addSerialNumFlag == 1) {
0ed7719c1800 fix serial number option.
oc
parents: 242
diff changeset
346 rfb.setAddSerialNum(true);
0ed7719c1800 fix serial number option.
oc
parents: 242
diff changeset
347 if(num != ++checkCounter) {
0ed7719c1800 fix serial number option.
oc
parents: 242
diff changeset
348 System.out.println("LostData" + (num - checkCounter));
0ed7719c1800 fix serial number option.
oc
parents: 242
diff changeset
349 checkCounter = num;
0ed7719c1800 fix serial number option.
oc
parents: 242
diff changeset
350 }
224
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
351 }
ccbc3a951961 fix indent, update mm.
oc
parents: 215
diff changeset
352 }
0
4689cc86d6cb create TreeViewer2 Repository
Yu Taninari <you@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
353 }