hgext/pager.py
changeset 30742 d3e2d39b97ea
parent 30722 117e15c30e6c
child 30847 e12553cfd0a4
--- a/hgext/pager.py	Tue Jan 10 06:59:39 2017 +0800
+++ b/hgext/pager.py	Tue Jan 10 06:59:49 2017 +0800
@@ -124,11 +124,6 @@
 
     ui.__class__ = pagerui
 
-    # chg has its own pager implementation
-    argv = sys.argv[:]
-    if 'chgunix' in dispatch._earlygetopt(['--cmdserver'], argv):
-        return
-
     def pagecmd(orig, ui, options, cmd, cmdfunc):
         p = ui.config("pager", "pager", encoding.environ.get("PAGER"))
         usepager = False