mirrors/fdroidserver
1
0
Fork 0
mirror of https://github.com/f-droid/fdroidserver.git synced 2025-09-13 22:42:29 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions

Properly stop making build server base image on failure

Browse source
This commit is contained in:
Ciaran Gultnieks 2013-04-10 09:36:31 +01:00
parent ce371d8b98
commit adffec7364
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
makebuildserver.py
View file

@ -29,6 +29,7 @@ with open(os.path.join(serverdir, 'up.log'), 'w') as log:
log.write('==stderr==\n' + err + '\n\n') log.write('==stderr==\n' + err + '\n\n')
if returncode != 0: if returncode != 0:
print "Failed to configure server" print "Failed to configure server"
sys.exit(1)
print "Stopping build server VM" print "Stopping build server VM"
vagrant(['halt'], serverdir) vagrant(['halt'], serverdir)