changeset 41865 | 3ef02797070d |
parent 41628 | 664e7664343d |
child 41941 | a935ac3f5274 |
41864:f7dbab23003a | 41865:3ef02797070d |
---|---|
504 @Override |
504 @Override |
505 public void close() { |
505 public void close() { |
506 if (!closed) { |
506 if (!closed) { |
507 closeDown(); |
507 closeDown(); |
508 executionControl().close(); |
508 executionControl().close(); |
509 if (sourceCodeAnalysis != null) { |
|
510 sourceCodeAnalysis.close(); |
|
511 } |
|
509 } |
512 } |
510 } |
513 } |
511 |
514 |
512 /** |
515 /** |
513 * Return all snippets. |
516 * Return all snippets. |