diff options
| author | Mark Wielaard <mark@klomp.org> | 2002-09-10 20:16:15 +0000 |
|---|---|---|
| committer | Mark Wielaard <mark@klomp.org> | 2002-09-10 20:16:15 +0000 |
| commit | de802ccf9bdbd99fbeb8d6250aadc7f147322419 (patch) | |
| tree | 84b9a4e20295dc0e8de91f184bfba6e915e53b0c /gnu/java/util/prefs/NodeReader.java | |
| parent | 12d56139305055ae68497277dd35f28fa643e8b8 (diff) | |
| download | classpath-de802ccf9bdbd99fbeb8d6250aadc7f147322419.tar.gz | |
Thanks to rzschech. Closes bug #1132.
* gnu/java/util/prefs/NodeReader.java (readRoot): Also use "system".
Diffstat (limited to 'gnu/java/util/prefs/NodeReader.java')
| -rw-r--r-- | gnu/java/util/prefs/NodeReader.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/java/util/prefs/NodeReader.java b/gnu/java/util/prefs/NodeReader.java index c2fa9d743..6c9fdc9ec 100644 --- a/gnu/java/util/prefs/NodeReader.java +++ b/gnu/java/util/prefs/NodeReader.java @@ -101,7 +101,7 @@ public class NodeReader { Preferences root; if ("user".equals(type)) { root = factory.userRoot(); - } else if ("user".equals(type)) { + } else if ("system".equals(type)) { root = factory.systemRoot(); } else { throw new InvalidPreferencesFormatException("Unknown type: " |