101102103104105106107108109110111
if (file == null) { IgnoredFileManager manager = IgnoredFileManager.getInstance(); manager.set(path, "Failed to index."); manager.save(); error = true; } break; case REMOVED: FileProvider.deleteFile(path);
143144145146147148149150151152153
} if (!decrypted) { IgnoredFileManager ignoredManager = IgnoredFileManager.getInstance(); ignoredManager.set(path, "true"); ignoredManager.save(); return null; } } return doc; } catch (Throwable t) {