Révision 2888
| tmp/org.txm.core/src/java/org/txm/objects/Workspace.java (revision 2888) | ||
|---|---|---|
| 413 | 413 |
IProject projects[] = rcpWorkspace.getRoot().getProjects(); |
| 414 | 414 |
|
| 415 | 415 |
Log.fine("Toolbox.initialize(): " + projects.length + " project(s) found in workspace.");
|
| 416 |
monitor.setTaskName(NLS.bind(TXMCoreMessages.initializingCorpora, 0, projects.length)); |
|
| 416 |
if (monitor != null) monitor.setTaskName(NLS.bind(TXMCoreMessages.initializingCorpora, 0, projects.length));
|
|
| 417 | 417 |
int c = 0; |
| 418 | 418 |
for (IProject project : projects) {
|
| 419 | 419 |
c++; |
| 420 |
monitor.setTaskName(NLS.bind(TXMCoreMessages.initializingCorpora, c, projects.length)); |
|
| 421 |
monitor.subTask(project.getName()); |
|
| 420 |
if (monitor != null) monitor.setTaskName(NLS.bind(TXMCoreMessages.initializingCorpora, c, projects.length));
|
|
| 421 |
if (monitor != null) monitor.subTask(project.getName());
|
|
| 422 | 422 |
if (project.getLocation() == null || !project.getLocation().toFile().exists()) {
|
| 423 | 423 |
project.delete(true, null); |
| 424 | 424 |
continue; |
Formats disponibles : Unified diff