build: delete bad builder/ symlinks

If builder/ is a symlink but is not detected as a directory by
os.path.isdir(), then it is a broken symlink.

diff --git a/fdroidserver/build.py b/fdroidserver/build.py
index ffc2700b04952b4896f95c6e6256b0bca4e033b6..c146b95f935c64c1b06332ae3fbb8e0e262842ad 100644 (file)
--- a/fdroidserver/build.py
+++ b/fdroidserver/build.py
@@ -226,6 +226,8 @@ def vm_test_ssh_into_builder():
 
 def vm_new_get_clean_builder(serverdir, reset=False):
     if not os.path.isdir(serverdir):
+        if os.path.islink(serverdir):
+            os.unlink(serverdir)
         logging.info("buildserver path does not exists, creating %s", serverdir)
         os.makedirs(serverdir)
     vagrantfile = os.path.join(serverdir, 'Vagrantfile')