mirror/archivebox
1
0
Fork 0
mirror of https://github.com/pirate/ArchiveBox.git synced 2025-08-19 12:51:49 +02:00
Code Issues Releases Wiki Activity

better closure

Browse Source
This commit is contained in:
Nick Sweeting
2019-01-23 01:07:57 -05:00
parent db0461ec4e
commit 2c30cd9468
1 changed files with 2 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
archivebox/util.py
View File

@@ -162,12 +162,11 @@ def progress(seconds=TIMEOUT, prefix=''):
p = Process(target=progress_bar, args=(seconds, prefix)) p = Process(target=progress_bar, args=(seconds, prefix))
p.start() p.start()
def end(): def end(p=p):
"""immediately finish progress and clear the progressbar line""" """immediately finish progress and clear the progressbar line"""
# protect from double termination # protect from double termination
nonlocal p if p is None or not hasattr(p, 'kill'):
if p is None:
return return
p.kill() p.kill()