// initialize data hash table servers
// read server addresses from file and initialize the servers
private void initServers() {
try {
java.net.URL path = ClassLoader.getSystemResource(clientSettingFile);
FileReader fr = new FileReader(path.getFile());
BufferedReader br = new BufferedReader(fr);
try {
String[] portMap = br.readLine().split(",");
mServerCount = portMap.length;
mPortMap = new int[mServerCount];
for (int i = 0; i < mServerCount; i++) {
mPortMap[i] = Integer.parseInt(portMap[i]);
}
} catch (IOException e) {
e.printStackTrace();
System.exit(-1);
}
} catch (FileNotFoundException e2) {
e2.printStackTrace();
System.exit(-1);
}
mDhtServerArray = new IDistributedHashTable[mServerCount];
for (int i = 0; i < mServerCount; i++) {
try {
mDhtServerArray[i] =
(IDistributedHashTable)
Naming.lookup("rmi://localhost:" + mPortMap[i] + "/DistributedHashTable");
appendOutput("server: " + (i + 1) + " is connected");
} catch (Exception e) {
appendOutput("initServers: " + (i + 1) + " " + e.getMessage());
}
}
}
/** Shows JSort help in the jEdit help viewer */
private void showHelp() {
java.net.URL helpUrl = TextToolsSortDialog.class.getResource("TextTools.html");
if (helpUrl == null) {
Log.log(Log.NOTICE, this, "Help URL is null, cannot display help");
} else {
new org.gjt.sp.jedit.help.HelpViewer(helpUrl.toString());
}
} // }}}