diff --git a/emsdk b/emsdk index 18eaccc..9b3a943 100755 --- a/emsdk +++ b/emsdk @@ -487,6 +487,10 @@ def download_file(url, dstpath, download_even_if_exists=False, filename_prefix = print("Error downloading URL '" + url + "': " + str(e)) rmfile(file_name) return None + except KeyboardInterrupt as e: + print("Aborted by User, exiting") + rmfile(file_name) + exit(1) return file_name def download_text_file(url, dstpath, download_even_if_exists=False, filename_prefix=''):