From: csagan5 <32685696+csagan5@users.noreply.github.com>
Date: Tue, 30 Jan 2018 13:50:35 +0000 (+0100)
Subject: Option --resetserver does nothing; have it used instead
X-Git-Tag: 1.0.1~25^2~1
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=cf54c9514c2b0be004f23d79eb4ef99e68ce8860;p=fdroidserver.git

Option --resetserver does nothing; have it used instead
---

diff --git a/fdroidserver/build.py b/fdroidserver/build.py
index 116da5bb..ca0ccc73 100644
--- a/fdroidserver/build.py
+++ b/fdroidserver/build.py
@@ -73,7 +73,7 @@ def build_server(app, build, vcs, build_dir, output_dir, log_dir, force):
     else:
         logging.getLogger("paramiko").setLevel(logging.WARN)
 
-    sshinfo = vmtools.get_clean_builder('builder')
+    sshinfo = vmtools.get_clean_builder('builder', options.resetserver)
 
     try:
         if not buildserverid: