diff options
author | Konrad Kolosowski | 2003-05-07 22:11:21 +0000 |
---|---|---|
committer | Konrad Kolosowski | 2003-05-07 22:11:21 +0000 |
commit | e2d922316af9a13997818ebc10d513093aeda5e5 (patch) | |
tree | a22cd8b1b723772ea7c343a972927485572b8c8c | |
parent | c9b81bb466bd93221127a003f112ad67fb5c6519 (diff) | |
download | eclipse.platform.ua-e2d922316af9a13997818ebc10d513093aeda5e5.tar.gz eclipse.platform.ua-e2d922316af9a13997818ebc10d513093aeda5e5.tar.xz eclipse.platform.ua-e2d922316af9a13997818ebc10d513093aeda5e5.zip |
*** empty log message ***
-rw-r--r-- | org.eclipse.help.webapp/src_servlets/org/eclipse/help/internal/webapp/servlet/WebappWorkingSetManager.java | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/org.eclipse.help.webapp/src_servlets/org/eclipse/help/internal/webapp/servlet/WebappWorkingSetManager.java b/org.eclipse.help.webapp/src_servlets/org/eclipse/help/internal/webapp/servlet/WebappWorkingSetManager.java index 5c2c54ea3..3e81d2e3f 100644 --- a/org.eclipse.help.webapp/src_servlets/org/eclipse/help/internal/webapp/servlet/WebappWorkingSetManager.java +++ b/org.eclipse.help.webapp/src_servlets/org/eclipse/help/internal/webapp/servlet/WebappWorkingSetManager.java @@ -36,13 +36,12 @@ public class WebappWorkingSetManager implements IHelpWorkingSetManager { wSetManager = new InfocenterWorkingSetManager(request, response, locale); } else { - WorkingSetManager wsmgr = HelpSystem.getWorkingSetManager(locale); + wSetManager = HelpSystem.getWorkingSetManager(locale); if (!workingSetsSynchronized && HelpSystem.getMode() == HelpSystem.MODE_WORKBENCH) { // upon startup in workbench mode, make sure working sets are in synch with those from UI workingSetsSynchronized = true; - wsmgr.synchronizeWorkingSets(); - wSetManager = wsmgr; + ((WorkingSetManager)wSetManager).synchronizeWorkingSets(); } } |