| Index: pkg/analysis_server/lib/src/context_directory_manager.dart
|
| diff --git a/pkg/analysis_server/lib/src/context_directory_manager.dart b/pkg/analysis_server/lib/src/context_directory_manager.dart
|
| index cadbb0fa66c6062c93377d90a44b0b8da8a107d2..67cadf8d1769a70ea8417bb137b8a1e6c89712c5 100644
|
| --- a/pkg/analysis_server/lib/src/context_directory_manager.dart
|
| +++ b/pkg/analysis_server/lib/src/context_directory_manager.dart
|
| @@ -80,7 +80,8 @@ abstract class ContextDirectoryManager {
|
| Set<Folder> oldFolders = currentFolders.difference(includedFolders);
|
| // remove old contexts
|
| for (Folder folder in oldFolders) {
|
| - // TODO(scheglov) implement
|
| + _currentDirectoryInfo.remove(folder);
|
| + removeContext(folder);
|
| }
|
| // add new contexts
|
| for (Folder folder in newFolders) {
|
| @@ -193,4 +194,9 @@ abstract class ContextDirectoryManager {
|
| * changes that need to be applied to the context.
|
| */
|
| void applyChangesToContext(Folder contextFolder, ChangeSet changeSet);
|
| -}
|
| +
|
| + /**
|
| + * Remove the context associated with the given [folder].
|
| + */
|
| + void removeContext(Folder folder);
|
| +}
|
|
|