tree 23bc8ea0f528d93f5f1c302c67247e40fc7c7ac5
parent 5729580376da53c5665e4e3a043834ad6c7ed706
author Kasper Laudrup <kasper.laudrup@man-es.com> 1565271017 +0200
committer Kasper Laudrup <kasper.laudrup@man-es.com> 1565272742 +0200

Retry removing directories on Windows

On Windows removing a directory can fail if other processes have a
handle to it. This has been "solved" with a retry hack when moving
directories, so use the same hack when removing directories.