private static DirectoryReader RefreshReader(DirectoryReader reader) { DirectoryReader oldReader = reader; reader = DirectoryReader.OpenIfChanged(reader); if (reader != null) { oldReader.Dispose(); return reader; } else { return oldReader; } } }