diff options
| author | DJ Houghton | 2002-11-26 00:04:00 +0000 |
|---|---|---|
| committer | DJ Houghton | 2002-11-26 00:04:00 +0000 |
| commit | baef46166175e3b18847a81a2052c3896f151fca (patch) | |
| tree | ff96940384ca98b549c1404b6d20a7eee05593be | |
| parent | f93647f99411eef6ccfe6346b1e6af871d6a8984 (diff) | |
| download | eclipse.platform.runtime-baef46166175e3b18847a81a2052c3896f151fca.tar.gz eclipse.platform.runtime-baef46166175e3b18847a81a2052c3896f151fca.tar.xz eclipse.platform.runtime-baef46166175e3b18847a81a2052c3896f151fca.zip | |
| -rw-r--r-- | bundles/org.eclipse.core.runtime/src/org/eclipse/core/internal/runtime/InternalPlatform.java | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/bundles/org.eclipse.core.runtime/src/org/eclipse/core/internal/runtime/InternalPlatform.java b/bundles/org.eclipse.core.runtime/src/org/eclipse/core/internal/runtime/InternalPlatform.java index 07ff495a8..dd1b8aca3 100644 --- a/bundles/org.eclipse.core.runtime/src/org/eclipse/core/internal/runtime/InternalPlatform.java +++ b/bundles/org.eclipse.core.runtime/src/org/eclipse/core/internal/runtime/InternalPlatform.java @@ -95,7 +95,7 @@ public final class InternalPlatform { public static boolean DEBUG_PLUGINS = false; public static boolean DEBUG_STARTUP = false; public static boolean DEBUG_SHUTDOWN = false; - public static String DEBUG_PLUGINS_DUMP = ""; //$NON-NLS-1$ + public static String DEBUG_PLUGINS_DUMP = null; public static boolean DEBUG_PREFERENCES = false; private static final String KEY_PREFIX = "%"; //$NON-NLS-1$ @@ -327,7 +327,7 @@ public static Map getAuthorizationInfo(URL serverUrl, String realm, String authS return info == null ? null : new HashMap(info); } public static boolean getBooleanOption(String option, boolean defaultValue) { - String optionValue = options.getProperty(option); + String optionValue = getDebugOption(option); return (optionValue != null && optionValue.equalsIgnoreCase("true")) || defaultValue; //$NON-NLS-1$ } /** @@ -511,7 +511,7 @@ public static void loaderShutdown() { assertInitialized(); registry.shutdown(null); clearLockFile(); - if (DEBUG_PLUGINS && DEBUG_PLUGINS_DUMP.length() != 0) { + if (DEBUG_PLUGINS && DEBUG_PLUGINS_DUMP != null) { // We are debugging so output the registry in XML // format. registry.debugRegistry(DEBUG_PLUGINS_DUMP); |