if (filters == null || filters.trim().length() == 0)\r
return ret;\r
\r
- if (!filters.contains("*")) {\r
- ret &= name.toLowerCase().contains(filters.toLowerCase());\r
- } else {\r
- if (filters.startsWith("*")) {\r
- ret &= name.toLowerCase().endsWith(filters.toLowerCase().replace("*", ""));\r
- return ret;\r
- }\r
- if (filters.endsWith("*")) {\r
- ret &= name.toLowerCase().startsWith(filters.toLowerCase().replace("*", ""));\r
- return ret;\r
+ String[] tokens = filters.split(";");\r
+ // if (name.endsWith("echo.bat"))\r
+ // System.out.println("");\r
+ for (String token : tokens) {\r
+\r
+ if (!token.contains("*")) {\r
+ ret = name.toLowerCase().contains(token.toLowerCase());\r
+ } else {\r
+ if (token.startsWith("*")) {\r
+ ret = name.toLowerCase().endsWith(token.toLowerCase().replace("*", ""));\r
+ } else {\r
+ if (token.endsWith("*")) {\r
+ ret = name.toLowerCase().startsWith(token.toLowerCase().replace("*", ""));\r
+ }\r
+ }\r
}\r
+\r
+ if (ret == true)\r
+ break;\r
}\r
\r
return ret;\r