thevar1able/ClickHouse
1
0
Fork 0
mirror of https://github.com/ClickHouse/ClickHouse.git synced 2024-11-24 16:42:05 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix mistype

Browse Source
This commit is contained in:
Ivan Blinkov 2020-03-31 13:56:38 +03:00 committed by GitHub
parent c77fe290d3
commit 5b414ff509
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
docs/tools/build.py
View File

@ -258,7 +258,7 @@ def build_single_page_version(lang, args, cfg):
logging.info(' '.join(create_pdf_command)) logging.info(' '.join(create_pdf_command))
subprocess.check_call(' '.join(create_pdf_command), shell=True) subprocess.check_call(' '.join(create_pdf_command), shell=True)
finally: finally:
logging.info(f"Stop serving for {lang} pdf at port {port_for_pdf}")) logging.info(f'Stop serving for {lang} pdf at port {port_for_pdf}')
process.kill() process.kill()
while True: while True:
time.sleep(0.25) time.sleep(0.25)
@ -266,7 +266,7 @@ def build_single_page_version(lang, args, cfg):
process.close() process.close()
break break
except ValueError: except ValueError:
logging.info(f"Waiting for {lang} httpd at port {port_for_pdf} to stop") logging.info(f'Waiting for {lang} httpd at port {port_for_pdf} to stop')
if not args.version_prefix: # maybe enable in future if not args.version_prefix: # maybe enable in future