hgext/pager.py
changeset 18717 fcc4b55876c3
parent 17305 e66fa4d587dc
child 18923 d2647edb1782
equal deleted inserted replaced
18716:963468e9f9e5 18717:fcc4b55876c3
    92     if ui._isatty(sys.stderr):
    92     if ui._isatty(sys.stderr):
    93         os.dup2(pager.stdin.fileno(), sys.stderr.fileno())
    93         os.dup2(pager.stdin.fileno(), sys.stderr.fileno())
    94 
    94 
    95     @atexit.register
    95     @atexit.register
    96     def killpager():
    96     def killpager():
       
    97         if util.safehasattr(signal, "SIGINT"):
       
    98             signal.signal(signal.SIGINT, signal.SIG_IGN)
    97         pager.stdin.close()
    99         pager.stdin.close()
    98         os.dup2(stdout, sys.stdout.fileno())
   100         os.dup2(stdout, sys.stdout.fileno())
    99         os.dup2(stderr, sys.stderr.fileno())
   101         os.dup2(stderr, sys.stderr.fileno())
   100         pager.wait()
   102         pager.wait()
   101 
   103