Lines Matching defs:user
79 * Directory for user preferences.
89 * The user root.
106 System.getProperty("user.home")), ".java/.userPrefs");
116 getLogger().info("Created user preferences directory.");
119 getLogger().warning("Couldn't create user preferences" +
123 String USER_NAME = System.getProperty("user.name");
124 userLockFile = new File (userRootDir,".user.lock." + USER_NAME);
131 // Only user can read/write userRootModFile.
217 * Unix user write/read permission
229 * The lock file for the user tree.
466 getLogger().warning("Couldn't flush user prefs: " + e);
480 * Special constructor for roots (both user and system). This constructor
483 private FileSystemPreferences(boolean user) {
485 isUserNode = user;
486 dir = (user ? userRootDir: systemRootDir);
722 shared = false; /* use exclusive lock for user prefs */
887 * Try to acquire the appropriate file lock (user or system). If
977 * Release the the appropriate file lock (user or system).
987 (usernode ? "user":"system") + " preferences.)");
993 (isUserNode() ? "user" : "system") + " preferences." +