Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorKonrad Kolosowski2004-03-16 02:54:37 +0000
committerKonrad Kolosowski2004-03-16 02:54:37 +0000
commitfda549bee6de4ed0b19f082f85f418d629c8ecd8 (patch)
treef99e76ca9564f66d81c83ef0792da6cba0b10fc7
parent13a1b1605825f718a71e904ca65161e4a1b8cae2 (diff)
downloadeclipse.platform.ua-fda549bee6de4ed0b19f082f85f418d629c8ecd8.tar.gz
eclipse.platform.ua-fda549bee6de4ed0b19f082f85f418d629c8ecd8.tar.xz
eclipse.platform.ua-fda549bee6de4ed0b19f082f85f418d629c8ecd8.zip
shutting down, close browsers first
-rw-r--r--org.eclipse.help.base/src/org/eclipse/help/internal/base/BaseHelpSystem.java6
1 files changed, 3 insertions, 3 deletions
diff --git a/org.eclipse.help.base/src/org/eclipse/help/internal/base/BaseHelpSystem.java b/org.eclipse.help.base/src/org/eclipse/help/internal/base/BaseHelpSystem.java
index 565350011..9ce06b81f 100644
--- a/org.eclipse.help.base/src/org/eclipse/help/internal/base/BaseHelpSystem.java
+++ b/org.eclipse.help.base/src/org/eclipse/help/internal/base/BaseHelpSystem.java
@@ -124,6 +124,9 @@ public final class BaseHelpSystem {
if (HelpBasePlugin.DEBUG) {
System.out.println("Base Help System is shutting down.");
}
+ // close any browsers created
+ BrowserManager.getInstance().closeAll();
+
if (getInstance().searchManager != null) {
getInstance().searchManager.close();
}
@@ -132,9 +135,6 @@ public final class BaseHelpSystem {
if (getMode() != MODE_WORKBENCH)
WebappManager.stop("helpControl");
- // close any browsers created
- BrowserManager.getInstance().closeAll();
-
if (HelpBasePlugin.DEBUG) {
System.out.println("Help System is shut down.");
}

Back to the top