mirror of
https://github.com/ytdl-org/youtube-dl.git
synced 2025-08-21 05:44:02 -07:00
Merge 981f87b00f
into a084c80f7b
This commit is contained in:
commit
d03d83edb3
1 changed files with 7 additions and 1 deletions
|
@ -480,7 +480,13 @@ def main(argv=None):
|
||||||
except SameFileError:
|
except SameFileError:
|
||||||
sys.exit('ERROR: fixed output name but more than one file to download')
|
sys.exit('ERROR: fixed output name but more than one file to download')
|
||||||
except KeyboardInterrupt:
|
except KeyboardInterrupt:
|
||||||
sys.exit('\nERROR: Interrupted by user')
|
print('\nERROR: Interrupted by user')
|
||||||
|
# 'wait and cooperative exit' handling of SIGINT
|
||||||
|
# this signals our parent that we exited because of SIGINT
|
||||||
|
# the compatible parent shell can then stop script execution
|
||||||
|
import signal
|
||||||
|
signal.signal(signal.SIGINT, signal.SIG_DFL)
|
||||||
|
os.kill(os.getpid(), signal.SIGINT)
|
||||||
|
|
||||||
|
|
||||||
__all__ = ['main', 'YoutubeDL', 'gen_extractors', 'list_extractors']
|
__all__ = ['main', 'YoutubeDL', 'gen_extractors', 'list_extractors']
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue