mercurial/ui.py

--- a/mercurial/ui.py	Thu Mar 20 11:12:35 2008 -0500
+++ b/mercurial/ui.py	Thu Mar 20 11:12:35 2008 -0500
@@ -31,7 +31,6 @@
                  parentui=None):
         self.overlay = None
         self.buffers = []
-        self.pager = None
         if parentui is None:
             # this is the parent of all ui children
             self.parentui = None
@@ -66,15 +65,6 @@
     def __getattr__(self, key):
         return getattr(self.parentui, key)
 
-    def __del__(self):
-        if self.pager:
-            try:
-                self.pager.close()
-            except IOException:
-                # we might get into an broken pipe if the users quit
-                # the pager before we finished io
-                pass
-
     def isatty(self):
         if ui._isatty is None:
             ui._isatty = sys.stdin.isatty()
@@ -381,14 +371,9 @@
         return "".join(self.buffers.pop())
 
     def write(self, *args):
-        """Write to a pager if available, otherwise to stdout"""
         if self.buffers:
             self.buffers[-1].extend([str(a) for a in args])
         else:
-            if self.getpager() and not self.pager:
-                self.pager = os.popen(self.getpager(), "wb")
-                sys.stderr = self.pager
-                sys.stdout = self.pager
             for a in args:
                 sys.stdout.write(str(a))
 
@@ -493,9 +478,3 @@
                 self.config("ui", "editor") or
                 os.environ.get("VISUAL") or
                 os.environ.get("EDITOR", "vi"))
-
-    def getpager(self):
-        '''return a pager'''
-        if sys.stdout.isatty() and self.configbool("ui", "usepager", False):
-            return (self.config("ui", "pager")
-                    or os.environ.get("PAGER"))