(File directory)
| 203 | } |
| 204 | |
| 205 | static void rmdir(File directory) { |
| 206 | for (final File file : listFiles(directory)) { |
| 207 | if (file.isDirectory()) { |
| 208 | rmdir(file); |
| 209 | } else if (!file.delete()) { |
| 210 | file.deleteOnExit(); |
| 211 | } |
| 212 | } |
| 213 | if (!directory.delete()) { |
| 214 | directory.deleteOnExit(); |
| 215 | } |
| 216 | } |
| 217 | |
| 218 | static File[] listFiles(File directory) { |
| 219 | final File[] files = directory.listFiles(); |