mirrors/fdroidserver
1
0
Fork 0
mirror of https://github.com/f-droid/fdroidserver.git synced 2025-11-06 07:20:29 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions

build: delete bad builder/ symlinks

Browse source 
If builder/ is a symlink but is not detected as a directory by
os.path.isdir(), then it is a broken symlink.
This commit is contained in:
Hans-Christoph Steiner 2017-04-25 10:27:09 +02:00
parent 4546929d7f
commit 6106b962a2
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
fdroidserver/build.py
View file

@ -226,6 +226,8 @@ def vm_test_ssh_into_builder():
def vm_new_get_clean_builder(serverdir, reset=False): def vm_new_get_clean_builder(serverdir, reset=False):
if not os.path.isdir(serverdir): if not os.path.isdir(serverdir):
if os.path.islink(serverdir):
os.unlink(serverdir)
logging.info("buildserver path does not exists, creating %s", serverdir) logging.info("buildserver path does not exists, creating %s", serverdir)
os.makedirs(serverdir) os.makedirs(serverdir)
vagrantfile = os.path.join(serverdir, 'Vagrantfile') vagrantfile = os.path.join(serverdir, 'Vagrantfile')