chiark
/
gitweb
/
~ianmdlvl
/
fdroidserver.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Option --resetserver does nothing; have it used instead
[fdroidserver.git]
/
fdroidserver
/
build.py
diff --git
a/fdroidserver/build.py
b/fdroidserver/build.py
index 116da5bb766dfa3c2a510391e716d5509554bf27..ca0ccc733c8cf6b2af6c4d5267b5d7ce6863b20b 100644
(file)
--- 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: