private static void readConfig(File confFile) {
System.out.println("Reading configuration file: " + confFile);
try {
StreamTokenizer tokenizer = new StreamTokenizer(new BufferedReader(new FileReader(confFile)));
tokenizer.eolIsSignificant(true);
tokenizer.slashStarComments(true);
boolean EOF = false;
int tokType = 0;
Vector words = new Vector();
while (!EOF) {
if ((tokType = tokenizer.nextToken()) == StreamTokenizer.TT_EOF) {
EOF = true;
} else if (tokType != StreamTokenizer.TT_EOL) {
if (tokenizer.sval != null) {
words.addElement(tokenizer.sval);
}
} else {
if (words.size() == 2) {
String key = (String) words.elementAt(0);
String value = (String) words.elementAt(1);
if (key.equals("SRSServer")) {
srsServer = new String(value);
} else if (key.equals("Database")) {
database = new String(value);
} else if (key.equals("Layout")) {
layout = new String(value);
} else if (key.equals("AutosaveInterval")) {
if (value.equals("none")) {
setAutosaveInterval(-1);
} else {
try {
setAutosaveInterval(Integer.parseInt(value));
} catch (NumberFormatException e) {
System.err.println("Can't parse number: " + value);
}
}
} else if (key.equals("ColourSchemeInstall")) {
try {
String installString = value;
int breakIndex = installString.indexOf(":");
if (breakIndex < 0) {
// adapterRegistry.installDataAdapter(installString);
} else {
String driverName = installString.substring(0, breakIndex);
String driverDesc = installString.substring(breakIndex + 1);
// adapterRegistry.installDataAdapter(driverName);
}
} catch (Throwable e) {
System.err.println("Could not install driver " + value + " because of " + e);
}
} else if (key.equals("FormatAdapterInstall")) {
try {
String installString = value;
int breakIndex = installString.indexOf(":");
if (breakIndex < 0) {
// adapterRegistry.installDataAdapter(installString);
} else {
String driverName = installString.substring(0, breakIndex);
String driverDesc = installString.substring(breakIndex + 1);
// adapterRegistry.installDataAdapter(driverName);
}
} catch (Throwable e) {
System.err.println("Could not install driver " + value + " because of " + e);
}
} else {
System.out.println("Unknown config key " + key);
}
} else {
if (words.size() != 0) {
System.out.println(
"Too many words on line beginning "
+ (String) words.elementAt(0)
+ " in config file");
}
}
words.removeAllElements();
}
}
return;
} catch (Exception ex) {
System.out.println(ex);
return;
}
}
