Révision 3290
| TXM/trunk/org.txm.tigersearch.rcp/src/org/txm/searchengine/ts/TIGERSearchEngine.java (revision 3290) | ||
|---|---|---|
| 268 | 268 |
|
| 269 | 269 |
@Override |
| 270 | 270 |
public void notify(TXMResult r, String state) {
|
| 271 |
if (r instanceof MainCorpus && "clean".equals(state)) { // the CQP corpus has been deleted by the user
|
|
| 272 |
MainCorpus c = (MainCorpus) r; |
|
| 273 |
File buildDirectory = new File(c.getProjectDirectory(), "tiger/" + c.getID()); |
|
| 274 |
if (buildDirectory.exists()) {
|
|
| 275 |
DeleteDir.deleteDirectory(buildDirectory); |
|
| 276 |
} |
|
| 277 |
} |
|
| 278 |
else if (r instanceof Project && "clean".equals(state)) { // the Project has been deleted by the user
|
|
| 271 |
// if (r instanceof MainCorpus && "clean".equals(state)) { // the CQP corpus has been deleted by the user
|
|
| 272 |
// MainCorpus c = (MainCorpus) r; |
|
| 273 |
// File buildDirectory = new File(c.getProjectDirectory(), "tiger/" + c.getID()); |
|
| 274 |
// if (buildDirectory.exists()) {
|
|
| 275 |
// DeleteDir.deleteDirectory(buildDirectory); |
|
| 276 |
// } |
|
| 277 |
// } |
|
| 278 |
// else |
|
| 279 |
if (r instanceof Project && "clean".equals(state)) { // the Project has been deleted by the user
|
|
| 279 | 280 |
Project c = (Project) r; |
| 280 | 281 |
File buildDirectory = new File(c.getProjectDirectory(), "tiger"); |
| 281 | 282 |
if (buildDirectory.exists()) {
|
Formats disponibles : Unified diff