ignore paths, not just filenames; fixes issue #38

Author: cnst

src/org/opensolaris/opengrok/index/Filter.java

@@ -108,6 +108,7 @@ public boolean match(File file) {
         boolean ret = false;
 
         String fileName = file.getName();
+        String absolute = file.getAbsolutePath();
 
         if (filename.contains(fileName)) {
             ret = true;
@@ -118,11 +119,17 @@ public boolean match(File file) {
                     ret = true;
                     break;
                 }
+                if (p.pattern().contains("/")) {
+                    m = p.matcher(absolute);
+                    if (m.matches()) {
+                        ret = true;
+                        break;
+                    }
+                }
             }
         }
 
         if (!ret) {
-            String absolute = file.getAbsolutePath();
             for (String s : path) {
                 if (absolute.endsWith(s)) {
                     ret = true;

src/org/opensolaris/opengrok/web/DirectoryListing.java

@@ -143,6 +143,9 @@ public List<String> listTo(File dir, Writer out, String path, List<String> files
                     continue;
                 }
                 File child = new File(dir, file);
+                if (ignoredNames.ignore(child)) {
+                    continue;
+                }
                 if (file.startsWith("README") || file.endsWith("README")
                     || file.startsWith("readme"))
                 {

src/org/opensolaris/opengrok/web/PageConfig.java

@@ -972,7 +972,8 @@ public String getResourcePath() {
     public boolean resourceNotAvailable() {
         getIgnoredNames();
         return getResourcePath().equals("/") || ignoredNames.ignore(getPath())
-                || ignoredNames.ignore(resourceFile.getParentFile().getName());
+                || ignoredNames.ignore(resourceFile.getParentFile().getName())
+                || ignoredNames.ignore(resourceFile);
     }
 
     /**