servlet module FileEdit, allows one to edit files on the filesystem.
[mir.git] / source / mir / misc / FileExtFilter.java
1 package mir.misc;
2
3 import java.io.File;
4 import java.io.FilenameFilter;
5
6
7 public class FileExtFilter implements FilenameFilter
8 {
9
10   static String _SEP_EXT;
11
12   public FileExtFilter(String ext) {
13     _SEP_EXT = ext;
14   }
15
16   public boolean accept(File dir, String name) {
17     System.out.println("NAME: "+name+" "+_SEP_EXT);
18     return name.endsWith("."+_SEP_EXT);
19   }
20
21 }
22
23