* Added signal handler.
authorUrban Wallasch <urban.wallasch@freenet.de>
Mon, 3 May 2021 13:01:01 +0000 (15:01 +0200)
committerUrban Wallasch <urban.wallasch@freenet.de>
Mon, 3 May 2021 13:01:01 +0000 (15:01 +0200)
ffpreview.py

index 0796744b46b32cedfbe01f65a0db8fb1328741c0..b90bf1d35844452efa87b36c97e8422ae130ddec 100755 (executable)
@@ -79,6 +79,16 @@ def die():
 def die_ev(event):
     die()
 
+def sigint_handler(signum, frame):
+    eprint('ffpreview caught signal %d, exiting.' % signum)
+    die()
+
+signal.signal(signal.SIGHUP, sigint_handler)
+signal.signal(signal.SIGINT, sigint_handler)
+signal.signal(signal.SIGQUIT, sigint_handler)
+signal.signal(signal.SIGTERM, sigint_handler)
+signal.signal(signal.SIGPIPE, signal.SIG_IGN)
+
 
 ############################################################
 # configuration