##// 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 33 def catchterm(*args):
34 34 raise error.SignalInterrupt
35 35
36 for name in 'SIGBREAK', 'SIGHUP', 'SIGTERM':
37 num = getattr(signal, name, None)
38 if num:
39 signal.signal(num, catchterm)
36 try:
37 for name in 'SIGBREAK', 'SIGHUP', 'SIGTERM':
38 num = getattr(signal, name, None)
39 if num:
40 signal.signal(num, catchterm)
41 except ValueError:
42 pass # happens if called in a thread
40 43
41 44 try:
42 45 try:
General Comments 0
You need to be logged in to leave comments. Login now