build.py: handle errors from ssh in a better way
authorHelmut Grohne <helmut@subdivi.de>
Thu, 1 Aug 2019 08:12:37 +0000 (10:12 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Thu, 1 Aug 2019 08:12:37 +0000 (10:12 +0200)
commitf93b427b821a0ee9021ea3ddf02894eccb669f2c
tree7c8d53baa2c996a8648431670104716bd17debc4
parent330fe08852dd954f60f17fa04a06d00d3a15be74
build.py: handle errors from ssh in a better way

Previously, it would retry immediately and produce empty log files
marked as failures. When ssh fails, we no longer record a build nor log.
We also wait a little before retrying.
build.py