avoid NPE in FileManagerImpl.markInvalidated

This commit is contained in:
peter
2016-05-19 10:44:18 +02:00
parent 1d157152c1
commit 7d2e7801e2
@@ -465,7 +465,9 @@ public class FileManagerImpl implements FileManager {
}
else {
FileViewProvider viewProvider = myVFileToViewProviderMap.remove(file);
markInvalidated(viewProvider);
if (viewProvider != null) {
markInvalidated(viewProvider);
}
}
return true;
}
@@ -476,7 +478,7 @@ public class FileManagerImpl implements FileManager {
}
}
private void markInvalidated(FileViewProvider viewProvider) {
private void markInvalidated(@NotNull FileViewProvider viewProvider) {
if (viewProvider instanceof SingleRootFileViewProvider) {
((SingleRootFileViewProvider)viewProvider).markInvalidated();
}