chiark / gitweb /
reset buildserver vm if vagrant uuid not present
authorMichael Pöhn <michael.poehn@fsfe.org>
Thu, 13 Apr 2017 16:41:50 +0000 (18:41 +0200)
committerHans-Christoph Steiner <hans@eds.org>
Tue, 23 May 2017 18:06:06 +0000 (20:06 +0200)
commit48159f005a0ad990d933c673759734a92149670c
tree4973dd8a454d8567c60a12e0151bd1ce2d1cbab3
parent510efaa02498d44f02c6e2b9f4f6064bf950a8a6
reset buildserver vm if vagrant uuid not present
fdroidserver/build.py
fdroidserver/vmtools.py