def rmdir(dir: File) { | |
if (dir.isDirectory) { | |
for (entry <- dir.listFiles()) { | |
if (entry.isDirectory) { | |
rmdir(entry) | |
entry.delete() | |
} | |
entry.delete() | |
} | |
dir.delete() | |
} | |
} |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment