From cf54c9514c2b0be004f23d79eb4ef99e68ce8860 Mon Sep 17 00:00:00 2001
From: csagan5 <32685696+csagan5@users.noreply.github.com>
Date: Tue, 30 Jan 2018 14:50:35 +0100
Subject: [PATCH] Option --resetserver does nothing; have it used instead

---
 fdroidserver/build.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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: