chiark / gitweb /
Properly stop making build server base image on failure
authorCiaran Gultnieks <ciaran@ciarang.com>
Wed, 10 Apr 2013 08:36:31 +0000 (09:36 +0100)
committerCiaran Gultnieks <ciaran@ciarang.com>
Wed, 10 Apr 2013 08:36:31 +0000 (09:36 +0100)
makebuildserver.py

index 0c23c588ec60bb54ec8c817e79b79fee4536186e..09ef8ef45503ceb666fde38be94485f840bd964f 100755 (executable)
@@ -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)