##// END OF EJS Templates
dispatch: ignore if signals can not be set...
Simon Heimberg -
r10952:6c2c766a stable
parent child Browse files
Show More
@@ -33,10 +33,13 b' def _runcatch(ui, args):'
33 def catchterm(*args):
33 def catchterm(*args):
34 raise error.SignalInterrupt
34 raise error.SignalInterrupt
35
35
36 for name in 'SIGBREAK', 'SIGHUP', 'SIGTERM':
36 try:
37 num = getattr(signal, name, None)
37 for name in 'SIGBREAK', 'SIGHUP', 'SIGTERM':
38 if num:
38 num = getattr(signal, name, None)
39 signal.signal(num, catchterm)
39 if num:
40 signal.signal(num, catchterm)
41 except ValueError:
42 pass # happens if called in a thread
40
43
41 try:
44 try:
42 try:
45 try:
General Comments 0
You need to be logged in to leave comments. Login now