annotate html/VncViewer.java @ 12:a0e1da7ebd39

add html/VncViewer.java
author e085711
date Sat, 16 Apr 2011 22:24:26 +0900
parents
children 745e0e1ff401
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
12
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
1 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
2 // Copyright (C) 2001-2004 HorizonLive.com, Inc. All Rights Reserved.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
3 // Copyright (C) 2002 Constantin Kaplinsky. All Rights Reserved.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
4 // Copyright (C) 1999 AT&T Laboratories Cambridge. All Rights Reserved.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
5 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
6 // This is free software; you can redistribute it and/or modify
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
7 // it under the terms of the GNU General Public License as published by
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
8 // the Free Software Foundation; either version 2 of the License, or
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
9 // (at your option) any later version.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
10 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
11 // This software is distributed in the hope that it will be useful,
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
12 // but WITHOUT ANY WARRANTY; without even the implied warranty of
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
13 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
14 // GNU General Public License for more details.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
15 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
16 // You should have received a copy of the GNU General Public License
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
17 // along with this software; if not, write to the Free Software
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
18 // Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307,
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
19 // USA.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
20 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
21
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
22 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
23 // VncViewer.java - the VNC viewer applet. This class mainly just sets up the
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
24 // user interface, leaving it to the VncCanvas to do the actual rendering of
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
25 // a VNC desktop.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
26 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
27
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
28 import java.awt.*;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
29 import java.awt.event.*;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
30 import java.io.*;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
31 import java.net.*;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
32
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
33 public class VncViewer extends java.applet.Applet implements
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
34 java.lang.Runnable, WindowListener {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
35
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
36 boolean inAnApplet = true;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
37 boolean inSeparateFrame = false;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
38
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
39 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
40 // main() is called when run as a java program from the command line.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
41 // It simply runs the applet inside a newly-created frame.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
42 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
43
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
44 public static void main(String[] argv) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
45 VncViewer v = new VncViewer();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
46 v.mainArgs = argv;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
47 v.inAnApplet = false;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
48 v.inSeparateFrame = true;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
49 /*
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
50 * if(argv.length > 1){ v.host = argv[0]; v.port =
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
51 * Integer.parseInt(argv[1]); }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
52 */
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
53 v.init();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
54 v.start();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
55 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
56
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
57 String[] mainArgs;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
58
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
59 RfbProto rfb;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
60 Thread rfbThread;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
61
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
62 Frame vncFrame;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
63 Container vncContainer;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
64 ScrollPane desktopScrollPane;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
65 GridBagLayout gridbag;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
66 ButtonPanel buttonPanel;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
67 Label connStatusLabel;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
68 VncCanvas vc;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
69 OptionsFrame options;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
70 ClipboardFrame clipboard;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
71 RecordingFrame rec;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
72
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
73 // Control session recording.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
74 Object recordingSync;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
75 String sessionFileName;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
76 boolean recordingActive;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
77 boolean recordingStatusChanged;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
78 String cursorUpdatesDef;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
79 String eightBitColorsDef;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
80
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
81 // Variables read from parameter values.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
82 String socketFactory;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
83 String host;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
84 int port;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
85 String passwordParam;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
86 boolean showControls;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
87 boolean offerRelogin;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
88 boolean showOfflineDesktop;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
89 int deferScreenUpdates;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
90 int deferCursorUpdates;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
91 int deferUpdateRequests;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
92 int debugStatsExcludeUpdates;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
93 int debugStatsMeasureUpdates;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
94
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
95 // Reference to this applet for inter-applet communication.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
96 public static java.applet.Applet refApplet;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
97
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
98 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
99 // init()
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
100 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
101
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
102 public void init() {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
103
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
104 readParameters();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
105
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
106 refApplet = this;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
107
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
108 if (inSeparateFrame) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
109 vncFrame = new Frame("TightVNC");
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
110 if (!inAnApplet) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
111 vncFrame.add("Center", this);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
112 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
113 vncContainer = vncFrame;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
114 } else {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
115 vncContainer = this;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
116 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
117
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
118 recordingSync = new Object();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
119
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
120 options = new OptionsFrame(this);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
121 clipboard = new ClipboardFrame(this);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
122 if (RecordingFrame.checkSecurity())
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
123 rec = new RecordingFrame(this);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
124
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
125 sessionFileName = null;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
126 recordingActive = false;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
127 recordingStatusChanged = false;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
128 cursorUpdatesDef = null;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
129 eightBitColorsDef = null;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
130
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
131 if (inSeparateFrame)
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
132 vncFrame.addWindowListener(this);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
133
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
134 rfbThread = new Thread(this);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
135 rfbThread.start();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
136 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
137
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
138 public void update(Graphics g) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
139 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
140
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
141 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
142 // run() - executed by the rfbThread to deal with the RFB socket.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
143 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
144
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
145 public void run() {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
146
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
147 gridbag = new GridBagLayout();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
148 vncContainer.setLayout(gridbag);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
149
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
150 GridBagConstraints gbc = new GridBagConstraints();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
151 gbc.gridwidth = GridBagConstraints.REMAINDER;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
152 gbc.anchor = GridBagConstraints.NORTHWEST;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
153
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
154 if (showControls) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
155 buttonPanel = new ButtonPanel(this);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
156 gridbag.setConstraints(buttonPanel, gbc);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
157 vncContainer.add(buttonPanel);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
158 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
159
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
160 /*****************************************************************************/
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
161 showConnectionStatus("Initializing...");
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
162 if(inSeparateFrame) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
163 vncFrame.pack();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
164 vncFrame.setVisible(true);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
165 } else {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
166 validate();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
167 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
168 try {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
169 showConnectionStatus("Connecting to "+ host + ", port "+ port + "...");
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
170 rfb = new MyRfbProto(host, port, this);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
171 showConnectionStatus("Connected to server");
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
172 rfb.readServerInit();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
173
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
174 createCanvas(0, 0);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
175 } catch (IOException e) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
176 System.out.println("Socket error");
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
177 System.exit(0);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
178 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
179
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
180 gbc.weightx = 1.0;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
181 gbc.weighty = 1.0;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
182
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
183 if (inSeparateFrame) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
184
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
185 // Create a panel which itself is resizeable and can hold
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
186 // non-resizeable VncCanvas component at the top left corner.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
187 Panel canvasPanel = new Panel();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
188 canvasPanel.setLayout(new FlowLayout(FlowLayout.LEFT, 0, 0));
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
189 canvasPanel.add(vc);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
190
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
191 // Create a ScrollPane which will hold a panel with VncCanvas
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
192 // inside.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
193 desktopScrollPane = new ScrollPane(ScrollPane.SCROLLBARS_AS_NEEDED);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
194 gbc.fill = GridBagConstraints.BOTH;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
195 gridbag.setConstraints(desktopScrollPane, gbc);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
196 desktopScrollPane.add(canvasPanel);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
197
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
198 // Finally, add our ScrollPane to the Frame window.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
199 vncFrame.add(desktopScrollPane);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
200 vncFrame.setTitle(rfb.desktopName);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
201 vncFrame.pack();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
202 vc.resizeDesktopFrame();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
203
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
204 } else {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
205
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
206 // Just add the VncCanvas component to the Applet.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
207 gridbag.setConstraints(vc, gbc);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
208 add(vc);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
209 validate();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
210
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
211 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
212 /*****************************************************************************/
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
213
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
214
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
215 try {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
216
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
217 if (showControls)
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
218 buttonPanel.enableButtons();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
219
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
220 moveFocusToDesktop();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
221 processNormalProtocol();// main loop
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
222
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
223 } catch (NoRouteToHostException e) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
224 fatalError("Network error: no route to server: " + host, e);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
225 } catch (UnknownHostException e) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
226 fatalError("Network error: server name unknown: " + host, e);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
227 } catch (ConnectException e) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
228 fatalError("Network error: could not connect to server: " + host
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
229 + ":" + port, e);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
230 } catch (EOFException e) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
231 if (showOfflineDesktop) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
232 e.printStackTrace();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
233 System.out
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
234 .println("Network error: remote side closed connection");
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
235 if (vc != null) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
236 vc.enableInput(false);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
237 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
238 if (inSeparateFrame) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
239 vncFrame.setTitle(rfb.desktopName + " [disconnected]");
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
240 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
241 if (rfb != null && !rfb.closed())
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
242 rfb.close();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
243 if (showControls && buttonPanel != null) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
244 buttonPanel.disableButtonsOnDisconnect();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
245 if (inSeparateFrame) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
246 vncFrame.pack();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
247 } else {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
248 validate();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
249 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
250 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
251 } else {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
252 fatalError("Network error: remote side closed connection", e);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
253 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
254 } catch (IOException e) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
255 String str = e.getMessage();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
256 if (str != null && str.length() != 0) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
257 fatalError("Network Error: " + str, e);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
258 } else {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
259 fatalError(e.toString(), e);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
260 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
261 } catch (Exception e) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
262 String str = e.getMessage();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
263 if (str != null && str.length() != 0) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
264 fatalError("Error: " + str, e);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
265 } else {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
266 fatalError(e.toString(), e);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
267 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
268 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
269
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
270 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
271
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
272 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
273 // Create a VncCanvas instance.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
274 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
275
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
276 void createCanvas(int maxWidth, int maxHeight) throws IOException {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
277 // Determine if Java 2D API is available and use a special
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
278 // version of VncCanvas if it is present.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
279 vc = null;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
280 try {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
281 // This throws ClassNotFoundException if there is no Java 2D API.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
282 Class cl = Class.forName("java.awt.Graphics2D");
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
283 // If we could load Graphics2D class, then we can use VncCanvas2D.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
284 cl = Class.forName("VncCanvas2");
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
285 Class[] argClasses = { this.getClass(), Integer.TYPE, Integer.TYPE };
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
286 java.lang.reflect.Constructor cstr = cl.getConstructor(argClasses);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
287 Object[] argObjects = { this, new Integer(maxWidth),
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
288 new Integer(maxHeight) };
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
289 vc = (VncCanvas) cstr.newInstance(argObjects);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
290 } catch (Exception e) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
291 System.out.println("Warning: Java 2D API is not available");
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
292 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
293
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
294 // If we failed to create VncCanvas2D, use old VncCanvas.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
295 if (vc == null)
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
296 vc = new VncCanvas(this, maxWidth, maxHeight);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
297 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
298
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
299 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
300 // Process RFB socket messages.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
301 // If the rfbThread is being stopped, ignore any exceptions,
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
302 // otherwise rethrow the exception so it can be handled.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
303 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
304
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
305 void processNormalProtocol() throws Exception {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
306 try {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
307 vc.processNormalProtocol();// main loop
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
308 } catch (Exception e) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
309 if (rfbThread == null) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
310 System.out.println("Ignoring RFB socket exceptions"
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
311 + " because applet is stopping");
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
312 } else {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
313 throw e;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
314 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
315 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
316 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
317
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
318 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
319 // Connect to the RFB server and authenticate the user.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
320 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
321
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
322 void connectAndAuthenticate() throws Exception {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
323 showConnectionStatus("Initializing...");
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
324 if (inSeparateFrame) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
325 vncFrame.pack();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
326 vncFrame.show();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
327 } else {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
328 validate();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
329 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
330
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
331 showConnectionStatus("Connecting to " + host + ", port " + port + "...");
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
332
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
333 rfb = new RfbProto(host, port, this);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
334 showConnectionStatus("Connected to server");
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
335
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
336 rfb.readVersionMsg();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
337 showConnectionStatus("RFB server supports protocol version "
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
338 + rfb.serverMajor + "." + rfb.serverMinor);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
339
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
340 rfb.writeVersionMsg();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
341 showConnectionStatus("Using RFB protocol version " + rfb.clientMajor
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
342 + "." + rfb.clientMinor);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
343
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
344 int secType = rfb.negotiateSecurity();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
345 int authType;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
346 if (secType == RfbProto.SecTypeTight) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
347 showConnectionStatus("Enabling TightVNC protocol extensions");
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
348 rfb.setupTunneling();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
349 authType = rfb.negotiateAuthenticationTight();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
350 } else {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
351 authType = secType;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
352 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
353
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
354 switch (authType) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
355 case RfbProto.AuthNone:
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
356 showConnectionStatus("No authentication needed");
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
357 rfb.authenticateNone();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
358 break;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
359 case RfbProto.AuthVNC:
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
360 showConnectionStatus("Performing standard VNC authentication");
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
361 if (passwordParam != null) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
362 rfb.authenticateVNC(passwordParam);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
363 } else {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
364 String pw = askPassword();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
365 rfb.authenticateVNC(pw);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
366 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
367 break;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
368 default:
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
369 throw new Exception("Unknown authentication scheme " + authType);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
370 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
371 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
372
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
373 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
374 // Show a message describing the connection status.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
375 // To hide the connection status label, use (msg == null).
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
376 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
377
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
378 void showConnectionStatus(String msg) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
379 if (msg == null) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
380 if (vncContainer.isAncestorOf(connStatusLabel)) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
381 vncContainer.remove(connStatusLabel);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
382 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
383 return;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
384 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
385
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
386 System.out.println(msg);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
387
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
388 if (connStatusLabel == null) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
389 connStatusLabel = new Label("Status: " + msg);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
390 connStatusLabel.setFont(new Font("Helvetica", Font.PLAIN, 12));
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
391 } else {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
392 connStatusLabel.setText("Status: " + msg);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
393 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
394
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
395 if (!vncContainer.isAncestorOf(connStatusLabel)) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
396 GridBagConstraints gbc = new GridBagConstraints();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
397 gbc.gridwidth = GridBagConstraints.REMAINDER;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
398 gbc.fill = GridBagConstraints.HORIZONTAL;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
399 gbc.anchor = GridBagConstraints.NORTHWEST;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
400 gbc.weightx = 1.0;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
401 gbc.weighty = 1.0;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
402 gbc.insets = new Insets(20, 30, 20, 30);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
403 gridbag.setConstraints(connStatusLabel, gbc);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
404 vncContainer.add(connStatusLabel);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
405 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
406
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
407 if (inSeparateFrame) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
408 vncFrame.pack();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
409 } else {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
410 validate();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
411 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
412 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
413
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
414 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
415 // Show an authentication panel.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
416 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
417
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
418 String askPassword() throws Exception {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
419 showConnectionStatus(null);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
420
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
421 AuthPanel authPanel = new AuthPanel(this);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
422
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
423 GridBagConstraints gbc = new GridBagConstraints();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
424 gbc.gridwidth = GridBagConstraints.REMAINDER;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
425 gbc.anchor = GridBagConstraints.NORTHWEST;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
426 gbc.weightx = 1.0;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
427 gbc.weighty = 1.0;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
428 gbc.ipadx = 100;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
429 gbc.ipady = 50;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
430 gridbag.setConstraints(authPanel, gbc);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
431 vncContainer.add(authPanel);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
432
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
433 if (inSeparateFrame) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
434 vncFrame.pack();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
435 } else {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
436 validate();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
437 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
438
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
439 authPanel.moveFocusToDefaultField();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
440 String pw = authPanel.getPassword();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
441 vncContainer.remove(authPanel);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
442
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
443 return pw;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
444 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
445
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
446 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
447 // Do the rest of the protocol initialisation.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
448 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
449
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
450 void doProtocolInitialisation() throws IOException {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
451 rfb.writeClientInit();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
452 rfb.readServerInit();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
453
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
454 System.out.println("Desktop name is " + rfb.desktopName);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
455 System.out.println("Desktop size is " + rfb.framebufferWidth + " x "
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
456 + rfb.framebufferHeight);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
457
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
458 setEncodings();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
459
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
460 showConnectionStatus(null);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
461 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
462
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
463 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
464 // Send current encoding list to the RFB server.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
465 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
466
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
467 int[] encodingsSaved;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
468 int nEncodingsSaved;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
469
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
470 void setEncodings() {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
471 setEncodings(false);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
472 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
473
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
474 void autoSelectEncodings() {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
475 setEncodings(true);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
476 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
477
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
478 void setEncodings(boolean autoSelectOnly) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
479 if (options == null || rfb == null || !rfb.inNormalProtocol)
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
480 return;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
481
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
482 int preferredEncoding = options.preferredEncoding;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
483 if (preferredEncoding == -1) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
484 long kbitsPerSecond = rfb.kbitsPerSecond();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
485 if (nEncodingsSaved < 1) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
486 // Choose Tight or ZRLE encoding for the very first update.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
487 System.out.println("Using Tight/ZRLE encodings");
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
488 preferredEncoding = RfbProto.EncodingTight;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
489 } else if (kbitsPerSecond > 2000
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
490 && encodingsSaved[0] != RfbProto.EncodingHextile) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
491 // Switch to Hextile if the connection speed is above 2Mbps.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
492 System.out.println("Throughput " + kbitsPerSecond
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
493 + " kbit/s - changing to Hextile encoding");
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
494 preferredEncoding = RfbProto.EncodingHextile;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
495 } else if (kbitsPerSecond < 1000
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
496 && encodingsSaved[0] != RfbProto.EncodingTight) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
497 // Switch to Tight/ZRLE if the connection speed is below 1Mbps.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
498 System.out.println("Throughput " + kbitsPerSecond
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
499 + " kbit/s - changing to Tight/ZRLE encodings");
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
500 preferredEncoding = RfbProto.EncodingTight;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
501 } else {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
502 // Don't change the encoder.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
503 if (autoSelectOnly)
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
504 return;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
505 preferredEncoding = encodingsSaved[0];
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
506 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
507 } else {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
508 // Auto encoder selection is not enabled.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
509 if (autoSelectOnly)
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
510 return;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
511 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
512
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
513 int[] encodings = new int[20];
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
514 int nEncodings = 0;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
515
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
516 encodings[nEncodings++] = preferredEncoding;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
517 if (options.useCopyRect) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
518 encodings[nEncodings++] = RfbProto.EncodingCopyRect;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
519 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
520
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
521 if (preferredEncoding != RfbProto.EncodingTight) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
522 encodings[nEncodings++] = RfbProto.EncodingTight;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
523 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
524 if (preferredEncoding != RfbProto.EncodingZRLE) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
525 encodings[nEncodings++] = RfbProto.EncodingZRLE;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
526 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
527 if (preferredEncoding != RfbProto.EncodingHextile) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
528 encodings[nEncodings++] = RfbProto.EncodingHextile;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
529 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
530 if (preferredEncoding != RfbProto.EncodingZlib) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
531 encodings[nEncodings++] = RfbProto.EncodingZlib;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
532 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
533 if (preferredEncoding != RfbProto.EncodingCoRRE) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
534 encodings[nEncodings++] = RfbProto.EncodingCoRRE;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
535 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
536 if (preferredEncoding != RfbProto.EncodingRRE) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
537 encodings[nEncodings++] = RfbProto.EncodingRRE;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
538 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
539
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
540 if (options.compressLevel >= 0 && options.compressLevel <= 9) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
541 encodings[nEncodings++] = RfbProto.EncodingCompressLevel0
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
542 + options.compressLevel;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
543 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
544 if (options.jpegQuality >= 0 && options.jpegQuality <= 9) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
545 encodings[nEncodings++] = RfbProto.EncodingQualityLevel0
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
546 + options.jpegQuality;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
547 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
548
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
549 if (options.requestCursorUpdates) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
550 encodings[nEncodings++] = RfbProto.EncodingXCursor;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
551 encodings[nEncodings++] = RfbProto.EncodingRichCursor;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
552 if (!options.ignoreCursorUpdates)
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
553 encodings[nEncodings++] = RfbProto.EncodingPointerPos;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
554 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
555
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
556 encodings[nEncodings++] = RfbProto.EncodingLastRect;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
557 encodings[nEncodings++] = RfbProto.EncodingNewFBSize;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
558
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
559 boolean encodingsWereChanged = false;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
560 if (nEncodings != nEncodingsSaved) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
561 encodingsWereChanged = true;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
562 } else {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
563 for (int i = 0; i < nEncodings; i++) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
564 if (encodings[i] != encodingsSaved[i]) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
565 encodingsWereChanged = true;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
566 break;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
567 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
568 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
569 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
570
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
571 if (encodingsWereChanged) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
572 try {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
573 rfb.writeSetEncodings(encodings, nEncodings);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
574 if (vc != null) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
575 vc.softCursorFree();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
576 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
577 } catch (Exception e) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
578 e.printStackTrace();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
579 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
580 encodingsSaved = encodings;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
581 nEncodingsSaved = nEncodings;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
582 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
583 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
584
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
585 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
586 // setCutText() - send the given cut text to the RFB server.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
587 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
588
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
589 void setCutText(String text) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
590 try {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
591 if (rfb != null && rfb.inNormalProtocol) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
592 rfb.writeClientCutText(text);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
593 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
594 } catch (Exception e) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
595 e.printStackTrace();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
596 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
597 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
598
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
599 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
600 // Order change in session recording status. To stop recording, pass
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
601 // null in place of the fname argument.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
602 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
603
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
604 void setRecordingStatus(String fname) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
605 synchronized (recordingSync) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
606 sessionFileName = fname;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
607 recordingStatusChanged = true;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
608 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
609 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
610
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
611 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
612 // Start or stop session recording. Returns true if this method call
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
613 // causes recording of a new session.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
614 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
615
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
616 boolean checkRecordingStatus() throws IOException {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
617 synchronized (recordingSync) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
618 if (recordingStatusChanged) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
619 recordingStatusChanged = false;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
620 if (sessionFileName != null) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
621 startRecording();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
622 return true;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
623 } else {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
624 stopRecording();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
625 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
626 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
627 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
628 return false;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
629 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
630
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
631 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
632 // Start session recording.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
633 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
634
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
635 protected void startRecording() throws IOException {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
636 synchronized (recordingSync) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
637 if (!recordingActive) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
638 // Save settings to restore them after recording the session.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
639 cursorUpdatesDef = options.choices[options.cursorUpdatesIndex]
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
640 .getSelectedItem();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
641 eightBitColorsDef = options.choices[options.eightBitColorsIndex]
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
642 .getSelectedItem();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
643 // Set options to values suitable for recording.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
644 options.choices[options.cursorUpdatesIndex].select("Disable");
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
645 options.choices[options.cursorUpdatesIndex].setEnabled(false);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
646 options.setEncodings();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
647 options.choices[options.eightBitColorsIndex].select("No");
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
648 options.choices[options.eightBitColorsIndex].setEnabled(false);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
649 options.setColorFormat();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
650 } else {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
651 rfb.closeSession();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
652 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
653
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
654 System.out.println("Recording the session in " + sessionFileName);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
655 rfb.startSession(sessionFileName);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
656 recordingActive = true;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
657 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
658 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
659
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
660 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
661 // Stop session recording.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
662 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
663
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
664 protected void stopRecording() throws IOException {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
665 synchronized (recordingSync) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
666 if (recordingActive) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
667 // Restore options.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
668 options.choices[options.cursorUpdatesIndex]
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
669 .select(cursorUpdatesDef);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
670 options.choices[options.cursorUpdatesIndex].setEnabled(true);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
671 options.setEncodings();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
672 options.choices[options.eightBitColorsIndex]
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
673 .select(eightBitColorsDef);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
674 options.choices[options.eightBitColorsIndex].setEnabled(true);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
675 options.setColorFormat();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
676
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
677 rfb.closeSession();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
678 System.out.println("Session recording stopped.");
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
679 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
680 sessionFileName = null;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
681 recordingActive = false;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
682 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
683 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
684
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
685 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
686 // readParameters() - read parameters from the html source or from the
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
687 // command line. On the command line, the arguments are just a sequence of
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
688 // param_name/param_value pairs where the names and values correspond to
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
689 // those expected in the html applet tag source.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
690 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
691
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
692 void readParameters() {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
693 host = readParameter("HOST", !inAnApplet);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
694 /*
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
695 if (mainArgs.length > 0)
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
696 host = mainArgs[0];
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
697 else
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
698 host = "hades.cr.ie.u-ryukyu.ac.jp";
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
699 */
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
700
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
701 if (host == null) { host = getCodeBase().getHost(); if
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
702 (host.equals("")) { fatalError("HOST parameter not specified"); } }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
703
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
704
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
705 port = readIntParameter("PORT", 5550);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
706 /*
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
707 if (mainArgs.length > 1)
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
708 port = Integer.parseInt(mainArgs[1]);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
709 else
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
710 port = 5550;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
711 */
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
712 // Read "ENCPASSWORD" or "PASSWORD" parameter if specified.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
713 readPasswordParameters();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
714
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
715 String str;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
716 if (inAnApplet) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
717 str = readParameter("Open New Window", false);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
718 if (str != null && str.equalsIgnoreCase("Yes"))
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
719 inSeparateFrame = true;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
720 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
721
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
722 // "Show Controls" set to "No" disables button panel.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
723 showControls = true;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
724 str = readParameter("Show Controls", false);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
725 if (str != null && str.equalsIgnoreCase("No"))
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
726 showControls = false;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
727
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
728 // "Offer Relogin" set to "No" disables "Login again" and "Close
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
729 // window" buttons under error messages in applet mode.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
730 offerRelogin = true;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
731 str = readParameter("Offer Relogin", false);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
732 if (str != null && str.equalsIgnoreCase("No"))
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
733 offerRelogin = false;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
734
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
735 // Do we continue showing desktop on remote disconnect?
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
736 showOfflineDesktop = false;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
737 str = readParameter("Show Offline Desktop", false);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
738 if (str != null && str.equalsIgnoreCase("Yes"))
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
739 showOfflineDesktop = true;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
740
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
741 // Fine tuning options.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
742 deferScreenUpdates = readIntParameter("Defer screen updates", 20);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
743 deferCursorUpdates = readIntParameter("Defer cursor updates", 10);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
744 deferUpdateRequests = readIntParameter("Defer update requests", 0);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
745
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
746 // Debugging options.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
747 debugStatsExcludeUpdates = readIntParameter("DEBUG_XU", 0);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
748 debugStatsMeasureUpdates = readIntParameter("DEBUG_CU", 0);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
749
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
750 // SocketFactory.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
751 socketFactory = readParameter("SocketFactory", false);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
752 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
753
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
754 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
755 // Read password parameters. If an "ENCPASSWORD" parameter is set,
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
756 // then decrypt the password into the passwordParam string. Otherwise,
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
757 // try to read the "PASSWORD" parameter directly to passwordParam.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
758 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
759
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
760 private void readPasswordParameters() {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
761 String encPasswordParam = readParameter("ENCPASSWORD", false);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
762 if (encPasswordParam == null) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
763 passwordParam = readParameter("PASSWORD", false);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
764
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
765 } else {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
766 // ENCPASSWORD is hexascii-encoded. Decode.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
767 byte[] pw = { 0, 0, 0, 0, 0, 0, 0, 0 };
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
768 int len = encPasswordParam.length() / 2;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
769 if (len > 8)
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
770 len = 8;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
771 for (int i = 0; i < len; i++) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
772 String hex = encPasswordParam.substring(i * 2, i * 2 + 2);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
773 Integer x = new Integer(Integer.parseInt(hex, 16));
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
774 pw[i] = x.byteValue();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
775 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
776 // Decrypt the password.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
777 byte[] key = { 23, 82, 107, 6, 35, 78, 88, 7 };
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
778 DesCipher des = new DesCipher(key);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
779 des.decrypt(pw, 0, pw, 0);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
780 passwordParam = new String(pw);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
781
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
782 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
783 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
784
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
785 public String readParameter(String name, boolean required) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
786 if (inAnApplet) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
787 String s = getParameter(name);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
788 if ((s == null) && required) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
789 fatalError(name + " parameter not specified");
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
790 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
791 return s;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
792 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
793
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
794 for (int i = 0; i < mainArgs.length; i += 2) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
795 if (mainArgs[i].equalsIgnoreCase(name)) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
796 try {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
797 return mainArgs[i + 1];
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
798 } catch (Exception e) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
799 if (required) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
800 fatalError(name + " parameter not specified");
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
801 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
802 return null;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
803 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
804 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
805 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
806 if (required) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
807 fatalError(name + " parameter not specified");
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
808 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
809 return null;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
810 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
811
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
812 int readIntParameter(String name, int defaultValue) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
813 String str = readParameter(name, false);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
814 int result = defaultValue;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
815 if (str != null) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
816 try {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
817 result = Integer.parseInt(str);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
818 } catch (NumberFormatException e) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
819 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
820 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
821 return result;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
822 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
823
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
824 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
825 // moveFocusToDesktop() - move keyboard focus either to VncCanvas.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
826 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
827
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
828 void moveFocusToDesktop() {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
829 if (vncContainer != null) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
830 if (vc != null && vncContainer.isAncestorOf(vc))
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
831 vc.requestFocus();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
832 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
833 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
834
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
835 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
836 // disconnect() - close connection to server.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
837 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
838
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
839 synchronized public void disconnect() {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
840 System.out.println("Disconnecting");
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
841
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
842 if (vc != null) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
843 double sec = (System.currentTimeMillis() - vc.statStartTime) / 1000.0;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
844 double rate = Math.round(vc.statNumUpdates / sec * 100) / 100.0;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
845 int nRealRects = vc.statNumPixelRects;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
846 int nPseudoRects = vc.statNumTotalRects - vc.statNumPixelRects;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
847 System.out.println("Updates received: " + vc.statNumUpdates + " ("
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
848 + nRealRects + " rectangles + " + nPseudoRects
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
849 + " pseudo), " + rate + " updates/sec");
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
850 int numRectsOther = nRealRects - vc.statNumRectsTight
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
851 - vc.statNumRectsZRLE - vc.statNumRectsHextile
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
852 - vc.statNumRectsRaw - vc.statNumRectsCopy;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
853 System.out.println("Rectangles:" + " Tight=" + vc.statNumRectsTight
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
854 + "(JPEG=" + vc.statNumRectsTightJPEG + ") ZRLE="
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
855 + vc.statNumRectsZRLE + " Hextile="
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
856 + vc.statNumRectsHextile + " Raw=" + vc.statNumRectsRaw
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
857 + " CopyRect=" + vc.statNumRectsCopy + " other="
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
858 + numRectsOther);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
859
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
860 int raw = vc.statNumBytesDecoded;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
861 int compressed = vc.statNumBytesEncoded;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
862 if (compressed > 0) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
863 double ratio = Math.round((double) raw / compressed * 1000) / 1000.0;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
864 System.out.println("Pixel data: " + vc.statNumBytesDecoded
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
865 + " bytes, " + vc.statNumBytesEncoded
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
866 + " compressed, ratio " + ratio);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
867 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
868 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
869
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
870 if (rfb != null && !rfb.closed())
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
871 rfb.close();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
872 options.dispose();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
873 clipboard.dispose();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
874 if (rec != null)
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
875 rec.dispose();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
876
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
877 if (inAnApplet) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
878 showMessage("Disconnected");
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
879 } else {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
880 System.exit(0);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
881 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
882 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
883
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
884 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
885 // fatalError() - print out a fatal error message.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
886 // FIXME: Do we really need two versions of the fatalError() method?
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
887 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
888
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
889 synchronized public void fatalError(String str) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
890 System.out.println(str);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
891
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
892 if (inAnApplet) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
893 // vncContainer null, applet not inited,
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
894 // can not present the error to the user.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
895 Thread.currentThread().stop();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
896 } else {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
897 System.exit(1);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
898 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
899 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
900
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
901 synchronized public void fatalError(String str, Exception e) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
902
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
903 if (rfb != null && rfb.closed()) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
904 // Not necessary to show error message if the error was caused
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
905 // by I/O problems after the rfb.close() method call.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
906 System.out.println("RFB thread finished");
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
907 return;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
908 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
909
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
910 System.out.println(str);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
911 e.printStackTrace();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
912
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
913 if (rfb != null)
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
914 rfb.close();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
915
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
916 if (inAnApplet) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
917 showMessage(str);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
918 } else {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
919 System.exit(1);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
920 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
921 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
922
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
923 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
924 // Show message text and optionally "Relogin" and "Close" buttons.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
925 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
926
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
927 void showMessage(String msg) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
928 vncContainer.removeAll();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
929
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
930 Label errLabel = new Label(msg, Label.CENTER);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
931 errLabel.setFont(new Font("Helvetica", Font.PLAIN, 12));
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
932
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
933 if (offerRelogin) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
934
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
935 Panel gridPanel = new Panel(new GridLayout(0, 1));
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
936 Panel outerPanel = new Panel(new FlowLayout(FlowLayout.LEFT));
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
937 outerPanel.add(gridPanel);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
938 vncContainer.setLayout(new FlowLayout(FlowLayout.LEFT, 30, 16));
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
939 vncContainer.add(outerPanel);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
940 Panel textPanel = new Panel(new FlowLayout(FlowLayout.CENTER));
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
941 textPanel.add(errLabel);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
942 gridPanel.add(textPanel);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
943 gridPanel.add(new ReloginPanel(this));
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
944
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
945 } else {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
946
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
947 vncContainer.setLayout(new FlowLayout(FlowLayout.LEFT, 30, 30));
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
948 vncContainer.add(errLabel);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
949
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
950 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
951
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
952 if (inSeparateFrame) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
953 vncFrame.pack();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
954 } else {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
955 validate();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
956 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
957 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
958
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
959 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
960 // Stop the applet.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
961 // Main applet thread will terminate on first exception
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
962 // after seeing that rfbThread has been set to null.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
963 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
964
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
965 public void stop() {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
966 System.out.println("Stopping applet");
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
967 rfbThread = null;
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
968 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
969
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
970 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
971 // This method is called before the applet is destroyed.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
972 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
973
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
974 public void destroy() {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
975 System.out.println("Destroying applet");
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
976
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
977 vncContainer.removeAll();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
978 options.dispose();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
979 clipboard.dispose();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
980 if (rec != null)
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
981 rec.dispose();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
982 if (rfb != null && !rfb.closed())
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
983 rfb.close();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
984 if (inSeparateFrame)
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
985 vncFrame.dispose();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
986 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
987
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
988 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
989 // Start/stop receiving mouse events.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
990 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
991
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
992 public void enableInput(boolean enable) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
993 vc.enableInput(enable);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
994 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
995
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
996 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
997 // Close application properly on window close event.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
998 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
999
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
1000 public void windowClosing(WindowEvent evt) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
1001 System.out.println("Closing window");
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
1002 if (rfb != null)
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
1003 disconnect();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
1004
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
1005 vncContainer.hide();
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
1006
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
1007 if (!inAnApplet) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
1008 System.exit(0);
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
1009 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
1010 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
1011
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
1012 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
1013 // Ignore window events we're not interested in.
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
1014 //
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
1015
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
1016 public void windowActivated(WindowEvent evt) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
1017 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
1018
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
1019 public void windowDeactivated(WindowEvent evt) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
1020 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
1021
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
1022 public void windowOpened(WindowEvent evt) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
1023 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
1024
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
1025 public void windowClosed(WindowEvent evt) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
1026 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
1027
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
1028 public void windowIconified(WindowEvent evt) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
1029 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
1030
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
1031 public void windowDeiconified(WindowEvent evt) {
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
1032 }
a0e1da7ebd39 add html/VncViewer.java
e085711
parents:
diff changeset
1033 }