private void commit() {
String serverName = (String) server.getSelectedItem();
if (serverName == null || serverName.equals("")) {
vlog.error("No server name specified!");
if (VncViewer.nViewers == 1)
if (cc.viewer instanceof VncViewer) {
((VncViewer) cc.viewer).exit(1);
}
ret = false;
endDialog();
}
// set params
if (opts.via != null && opts.via.indexOf(':') >= 0) {
opts.serverName = serverName;
} else {
opts.serverName = Hostname.getHost(serverName);
opts.port = Hostname.getPort(serverName);
}
// Update the history list
String valueStr = UserPreferences.get("ServerDialog", "history");
String t = (valueStr == null) ? "" : valueStr;
StringTokenizer st = new StringTokenizer(t, ",");
StringBuffer sb = new StringBuffer().append((String) server.getSelectedItem());
while (st.hasMoreTokens()) {
String str = st.nextToken();
if (!str.equals((String) server.getSelectedItem()) && !str.equals("")) {
sb.append(',');
sb.append(str);
}
}
UserPreferences.set("ServerDialog", "history", sb.toString());
UserPreferences.save("ServerDialog");
}
