projects
/
ffpreview.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
116b898
)
* Added signal handler.
author
Urban Wallasch
<urban.wallasch@freenet.de>
Mon, 3 May 2021 13:01:01 +0000
(15:01 +0200)
committer
Urban Wallasch
<urban.wallasch@freenet.de>
Mon, 3 May 2021 13:01:01 +0000
(15:01 +0200)
ffpreview.py
patch
|
blob
|
history
diff --git
a/ffpreview.py
b/ffpreview.py
index 0796744b46b32cedfbe01f65a0db8fb1328741c0..b90bf1d35844452efa87b36c97e8422ae130ddec 100755
(executable)
--- a/
ffpreview.py
+++ b/
ffpreview.py
@@
-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