mirrors/fdroidserver
1
0
Fork 0
mirror of https://github.com/f-droid/fdroidserver.git synced 2025-11-05 15:00:30 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions

Option --resetserver does nothing; have it used instead

Browse source
This commit is contained in:
csagan5 2018-01-30 14:50:35 +01:00
parent adaf97a3cb
commit cf54c9514c
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
fdroidserver/build.py
View file

@ -73,7 +73,7 @@ def build_server(app, build, vcs, build_dir, output_dir, log_dir, force):
else: else:
logging.getLogger("paramiko").setLevel(logging.WARN) logging.getLogger("paramiko").setLevel(logging.WARN)
sshinfo = vmtools.get_clean_builder('builder') sshinfo = vmtools.get_clean_builder('builder', options.resetserver)
try: try:
if not buildserverid: if not buildserverid: