return;
}
- String vnchomedir = homeDir+UserPrefs.getFileSeperator()+".vnc"+
- UserPrefs.getFileSeperator();
+ String vnchomedir = homeDir+UserPrefs.getFileSeparator()+".vnc"+
+ UserPrefs.getFileSeparator();
String caDefault = new String(vnchomedir+"x509_ca.pem");
String crlDefault = new String(vnchomedir+"x509_crl.pem");
*/
public class UserPrefs extends Properties {
- String userhome=null; //This will have fileseperator on end if it
+ String userhome=null; //This will have fileseparator on end if it
String prefFile;
String appName;
}
// This is guaranteed as always being some valid directory,
// according to spec.
- prefFile= getHomeDir()+getFileSeperator()+
+ prefFile= getHomeDir()+getFileSeparator()+
"."+appName;
try {
load(new java.io.FileInputStream(prefFile));
return userName;
}
- final public static String getFileSeperator() {
- String seperator = null;
+ final public static String getFileSeparator() {
+ String separator = null;
try {
- seperator = (String)System.getProperties().get("file.separator");
+ separator = Character.toString(java.io.File.separatorChar);
} catch(java.security.AccessControlException e) {
System.out.println("Cannot access file.separator system property");
}
- return seperator;
+ return separator;
}
/**