(String name)
| 2899 | } |
| 2900 | |
| 2901 | static String sanitizeFilename(String name) { |
| 2902 | if (name == null) |
| 2903 | return null; |
| 2904 | |
| 2905 | return name |
| 2906 | // Canonical files names cannot contain NUL |
| 2907 | .replace("\0", "") |
| 2908 | .replaceAll("[?:\"*|/\\\\<>]", "_"); |
| 2909 | } |
| 2910 | |
| 2911 | static String getExtension(String filename) { |
| 2912 | if (filename == null) |
no test coverage detected