scan vm provider again after re-creating builder vm

diff --git a/fdroidserver/build.py b/fdroidserver/build.py
index ceaf76d0629a3ff39d2f18704c48d269b509f93b..7b16317ca67c096db010eb7a164a1eef89bc4411 100644 (file)
--- a/fdroidserver/build.py
+++ b/fdroidserver/build.py
@@ -259,6 +259,7 @@ def get_clean_vm(reset=False):
         retcode, _ = vagrant(['up'], cwd='builder')
         if retcode != 0:
             raise BuildException("Failed to start build server")
+        provider = get_vm_provider()
 
         # Open SSH connection to make sure it's working and ready...
         logging.info("Connecting to virtual machine...")