Révision 2887
tmp/org.txm.core/src/java/org/txm/Toolbox.java (revision 2887) | ||
---|---|---|
38 | 38 |
import java.text.DateFormat; |
39 | 39 |
import java.text.SimpleDateFormat; |
40 | 40 |
import java.util.Arrays; |
41 |
import java.util.HashSet; |
|
41 | 42 |
import java.util.LinkedHashMap; |
42 | 43 |
import java.util.Locale; |
44 |
import java.util.Set; |
|
43 | 45 |
import java.util.logging.Level; |
44 | 46 |
|
45 | 47 |
import org.apache.commons.lang.StringUtils; |
... | ... | |
64 | 66 |
import org.txm.objects.Workspace; |
65 | 67 |
import org.txm.utils.BundleUtils; |
66 | 68 |
import org.txm.utils.DeleteDir; |
69 |
import org.txm.utils.LogMonitor; |
|
67 | 70 |
import org.txm.utils.OSDetector; |
68 | 71 |
import org.txm.utils.io.FileCopy; |
69 | 72 |
import org.txm.utils.logger.Log; |
... | ... | |
214 | 217 |
* @throws Exception |
215 | 218 |
*/ |
216 | 219 |
public static boolean initialize(Class preferencesStore) throws Exception { |
217 |
return initialize(preferencesStore, null);
|
|
220 |
return initialize(preferencesStore, new LogMonitor("initializing Toolbox"));
|
|
218 | 221 |
} |
219 | 222 |
|
220 | 223 |
/** |
... | ... | |
569 | 572 |
if (enginesManagers.size() == 0) return true; |
570 | 573 |
|
571 | 574 |
boolean result = true; |
572 |
for (EngineType et : enginesManagers.keySet()) { |
|
575 |
HashSet<EngineType> ets = new HashSet<EngineType>(); |
|
576 |
ets.addAll(enginesManagers.keySet()); |
|
577 |
for (EngineType et : ets) { |
|
573 | 578 |
EnginesManager<?> enginesManager = enginesManagers.get(et); |
574 | 579 |
Log.finest(enginesManager.getClass().getSimpleName() + ": stopping " + enginesManager.getEngines().size() + " " + enginesManager.getEnginesDescription() + " engine(s)..."); |
575 | 580 |
result = result && enginesManager.stopEngines(); |
576 |
removeEngineManager(enginesManager); // remove the engines manager anyway
|
|
581 |
removeEngineManager(enginesManager); // remove the engine manager anyway |
|
577 | 582 |
} |
578 | 583 |
|
579 | 584 |
return true; |
Formats disponibles : Unified diff