From: Ciaran Gultnieks <ciaran@ciarang.com>
Date: Wed, 10 Apr 2013 08:36:31 +0000 (+0100)
Subject: Properly stop making build server base image on failure
X-Git-Tag: 0.1~645
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=0dc797452521449d4ccfb4056fe479b92458703e;p=fdroidserver.git

Properly stop making build server base image on failure
---

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