chiark / gitweb /
restart builder vm when ssh connection fails
authorMichael Pöhn <michael.poehn@fsfe.org>
Tue, 25 Apr 2017 12:45:41 +0000 (14:45 +0200)
committerHans-Christoph Steiner <hans@eds.org>
Tue, 23 May 2017 18:06:47 +0000 (20:06 +0200)
commit8f1fabfed618cf564ab844cffc459f0f9682b002
treefb8b5b6aa9ca8da62905079add68aa89379b976a
parent6106b962a2be1d401e2e476cd2260d7baf0ec177
restart builder vm when ssh connection fails
fdroidserver/build.py
fdroidserver/vmtools.py