hgext/pager.py
changeset 30867 aaa751585325
parent 30847 e12553cfd0a4
child 30876 3a4c0905f357
equal deleted inserted replaced
30866:5249b6470de9 30867:aaa751585325
   151         setattr(ui, 'pageractive', usepager)
   151         setattr(ui, 'pageractive', usepager)
   152 
   152 
   153         if usepager:
   153         if usepager:
   154             ui.setconfig('ui', 'formatted', ui.formatted(), 'pager')
   154             ui.setconfig('ui', 'formatted', ui.formatted(), 'pager')
   155             ui.setconfig('ui', 'interactive', False, 'pager')
   155             ui.setconfig('ui', 'interactive', False, 'pager')
   156             if util.safehasattr(signal, "SIGPIPE"):
       
   157                 signal.signal(signal.SIGPIPE, signal.SIG_DFL)
       
   158             ui._runpager(p)
   156             ui._runpager(p)
   159         return orig(ui, options, cmd, cmdfunc)
   157         return orig(ui, options, cmd, cmdfunc)
   160 
   158 
   161     # Wrap dispatch._runcommand after color is loaded so color can see
   159     # Wrap dispatch._runcommand after color is loaded so color can see
   162     # ui.pageractive. Otherwise, if we loaded first, color's wrapped
   160     # ui.pageractive. Otherwise, if we loaded first, color's wrapped