diff options
author | Konrad Kolosowski | 2004-03-16 02:54:37 +0000 |
---|---|---|
committer | Konrad Kolosowski | 2004-03-16 02:54:37 +0000 |
commit | fda549bee6de4ed0b19f082f85f418d629c8ecd8 (patch) | |
tree | f99e76ca9564f66d81c83ef0792da6cba0b10fc7 | |
parent | 13a1b1605825f718a71e904ca65161e4a1b8cae2 (diff) | |
download | eclipse.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.java | 6 |
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."); } |