admin/ci-emsdk
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge pull request #115 from tejom/add_keyboard_interupt

Browse Source 
Catch KeyboardInterupt in download_file
This commit is contained in:
juj
2017-11-14 11:47:16 +02:00
committed by GitHub
parent c7bddf2fe2 86c79dec0a
commit 0f35386de0
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
emsdk
View File

@@ -487,6 +487,10 @@ def download_file(url, dstpath, download_even_if_exists=False, filename_prefix =
print("Error downloading URL '" + url + "': " + str(e)) print("Error downloading URL '" + url + "': " + str(e))
rmfile(file_name) rmfile(file_name)
return None return None
except KeyboardInterrupt as e:
print("Aborted by User, exiting")
rmfile(file_name)
exit(1)
return file_name return file_name
def download_text_file(url, dstpath, download_even_if_exists=False, filename_prefix=''): def download_text_file(url, dstpath, download_even_if_exists=False, filename_prefix=''):