chiark / gitweb /
Option --resetserver does nothing; have it used instead
[fdroidserver.git] / fdroidserver / build.py
index 116da5bb766dfa3c2a510391e716d5509554bf27..ca0ccc733c8cf6b2af6c4d5267b5d7ce6863b20b 100644 (file)
@@ -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: